The KWARC group is constantly looking for good developers and Ph.D. students.

• ALMANAC Ph.D. Student or PostDoc (meta-logics for argumentation)
• OAF Ph.D. Student (formalization of theorem prover logics/libraries)
• OpenDreamKit Ph.D. Student/PostDoc (Math Modeling for Math System Integration)
• Web Frontend Developer (student)

Candidates interested in the positions above should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de