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 email@example.com