KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects) by
Prof. Dr. Michael Kohlhase
15 May 2015

The KWARC group at Jacobs University Bremen is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)

Jacobs University Bremen is a private, english-speaking research university at the center of Europe (for one plausible definition of center). The KWARC group in research and development in foundations of mathematics, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), flexiformalization, semantics extraction from STEM documents, and knowledge management on this basis.

Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to