KWARC is recruiting: multiple Projects by
Prof. Dr. Michael Kohlhase
22 Mar 2018

The KWARC group at FAU Erlangen-Nürnberg is looking for student developers, Ph.D. candidates and PostDocs in multiple MKM-related projects. Details and an up-to-date listing can be found at the KWARC hiring page.

Currently we are seeking applications for the following projects:

The KWARC group engages 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