Hiring

We list the current open positions in the KWARC group, please contact Michael Kohlhase for questions and applications.

  1. 2015-05-01: OAF Ph.D. Student (ASAP)
  2. 2015-05-15: OpenDreamKit Ph.D. Student + PostDoc (two positions, starting Sept. 1. 2015)
  3. 2015-04-01: Student Assistant: MathHub developer (ASAP-graduation; hours flexible)