The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for student
developers, Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF,
OpenDreamKit (others are in the pipeline). Details and an up-to-date listing can be found at [the KWARC hiring page](/hiring/index/).
OpenDreamKit (others are in the pipeline). Details and an up-to-date listing can be found at [the KWARC hiring page](/hiring/).
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.
