Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 (. Deadline for application is May 1, 2009.

Please note that this newsitem has been archived, and may contain outdated information or links.