Postdoctoral and PhD position in the MathWiki project, Nijmegen (The Netherlands)

The Institute for Computing and Information Science of the Radboud University Nijmegen (NL) is looking for 2 researchers to work on the NWO project "MathWiki a Web-based Collaborative Authoring Environment for Formal Proofs". The vacancies are for a Postdoc (3 year) and a PhD (4 year) position.

The aim of the MathWiki project is to open up to a wider community the rich collections of knowledge stored in the repositories of proof assistants. To this end we will build a web-based collaborative authoring environment for formal mathematics, the MathWiki system. This system will provide interactive web access through a standardized interface to a number of proof assistants. The MathWiki system will also be a platform for the development of formal proofs within those proof assistants and it will provide high level access (through Wikipedia-like web pages) to their repositories of formalised mathematics.

For more information, see http://www.fnds.cs.ru.nl/fndswiki/Vacancies. For inquiries about the project and its positions, please contact the project leader Prof. Dr. Herman Geuvers (H.Geuvers at cs.ru.nl. Deadline for application is May 1, 2009.