...

From the perspective of the ordinary user of mathematics, MathWiki will be important because it will provide high-level mathematical content on

Dear categories-subscribers, Following the recent discussion of iBourbaki and related ideas on this list, you (or your students) may be interested in the following jobs being advertised in our Foundations group at Nijmegen: 1 Postdoc and 1 PhD vacancy in the MathWiki project Please contact Herman Geuvers <herman@cs.ru.nl> directly if interested. James McKinna ==================================================== 1 POSTDOC and 1 PHD POSITION in the MathWiki project at Radboud University Nijmegen (NL) http://www.fnds.cs.ru.nl/fndswiki/Vacancies 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: - a POSTDOC for the period of 3 years vacancy number: 62-16-09 - a PHD POSITION for the period of 4 years vacancy number: 62-17-09 AIMS OF THE PROJECT =================== 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. These repositories will reside on the server. In the project we will study and further develop Wiki technology and semantic web technology, all in the context of proof assistant repositories of formalized mathematics. The project thus brings together the open nature of Wiki authoring with expertise in Proof Assistants and Semantic Web technologies to build a new Wiki for mathematics, supporting content creation, search and retrieval. the web in a much more coherent and precise way than is available at present.

...

From the proof assistant user perspective, MathWiki will be important because it will provide an advanced environment for the collaborative authoring of verified mathematics, mediated simply by a web interface.

The MathWiki system will be based on our existing experience with proof assistant technology on the web, the "ProofWeb" systems, see http:://prover.cs.ru.nl ----------------------------------------------------------------- Requirements for the PhD student position: - A master's (or equivalent) degree in Computer Science, Mathematics or a related field, with a strong interest in proof assistants and/or semantic web technology (preferably both) - Commitment and a cooperative attitude. - Very good written and oral English skills. Requirements for the Postdoc position: - A PhD in Computer Science, Mathematics, or a related field with expertise in proof assistants and/or semantic web technology (preferably both). - A strong publication record. - Commitment and a cooperative attitude. - Very good written and oral English skills. ----------------------------------------------------------------- Conditions of employment: The PhD students will be employed for a period of 4 years (40 hrs/week). The Postdocs will be employed for a period of 3 years (40 hrs/week). Supervision for the projects will be done by Prof. Dr. Herman Geuvers and Dr. F. Wiedijk Postdoc and PhD student will be appointed by the Radboud University Nijmegen. Both positions shall start before October 1 2009, but preferably earlier. The salary for the PhD position starts at 2042 Euro per month, increasing to 2612 Euro per month in the fourth year. The maximum salary for the Postdoc is 3755 Euro per month (salary scale 10). ----------------------------------------------------------------- Information: 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@cs.ru.nl, +31 243652603). Interested candidates can ask the project leader for the complete project application text. ----------------------------------------------------------------- Application: Deadline for application is May 1, 2009. Send an application letter with CV and 3 references, mentioning the vacancy number by e-mail to RU Nijmegen, FNWI, P&O mrs. D. Reinders Postbus 9010 6500 GL Nijmegen Netherlands e-mail: pz@science.ru.nl telephone: +31 243652764