Skip to content
Snippets Groups Projects
Normal view Permalink
2017-05-01-recruiting.md 788 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    1 2 
    ---
layout: post
    Tom Wiesing's avatar
    Proper author  
    Tom Wiesing committed
    3 
    author: mkohlhase
    Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    4 5 6 7 8 9 10 11 12 
    title: KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects) 
tags:
   - recruiting
---
The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)

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 michael.kohlhase@fau.de