PhD student positions and postdoctoral positions in logic, Bremen (Germany)

The KWARC group at Jacobs University Bremen is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects, e.g. OAF, OpenDreamKit.

Jacobs University Bremen is a private, English-speaking research university in Germany. The KWARC group conducts research on the representation and management of formal and informal knowledge in the STEM disciplines (Science, Technology, Engineering, and Mathematics). Our interests cover the whole range from formal to informal knowledge and include logics and foundations of mathematics, formalizing/verifying knowledge, informal and semi-formal documents (specifications, papers, web pages, etc.), domain-specific applications (spreadsheets, CAD, etc.), and knowledge management (search, user interfaces, system integration, etc.). We build systems that cover these diverse areas uniformly and integrate across domains, languages, and tools, always combining logical correctness, wide-range applicability, and large-scale interoperability.

For more information, see https://kwarc.info/node/12375. Interested candidates can introduce themselves or ask for further information by email to Prof. Michael Kohlhase at m.kohlhase at jacobs-university.de.