Job Ad: OAF Project Ph.D Students/PostDoc

The KWARC group at Jacobs University offers two positions for two doctoral students or one postdoc in the OAF project.
Start: ASAP, 

The OAF Project attempts to integrate libraries of theorem proving
systems by exporting them into a joint representation framework
(OMDoc/MMT) based on logical frameworks. Additionally, the OAF project
develops a generic library interaction and management system for the
imported libraries.

Jacobs University Bremen is a small private, English-speaking, research
university with an extremely international student body. The KWARC group
conducts research on knowledge representation and semantic services for
large corpora of mathematical/technical/scientific documents based on
intuitions ranging from formal methods to computational linguistics. The
OAF project is at the formal end of the scale and profits from our
expertise in web-scalable knowledge representation and semantic document
management systems.