You cannot apply for this job anymore (deadline was 31 Jan 2022).
Browse the current job offers or choose an item in the top navigation above.
As a PhD candidate on this project, you will conduct research in theoretical Computer Science at the intersection of mathematics, logic and computer science. Proof assistants are systems for the development and verification of formal mathematical proofs. One of the great challenges in this field is the formalisation of a proof of Fermat's Last Theorem. This is currently out of reach, but in this project we will make inroads on this. The aim of the project is to make a formal counterpart in a proof assistant of an existing overview article of a proof of Fermat's Last Theorem. In this formalisation, proofs that are not in the paper will be omitted for now. However, all definitions that are needed to write the formal statements from the paper will be fully formalised. This project will be carried out in collaboration with mathematicians from Imperial College in London and the Free University in Amsterdam.
Your teaching load may be up to 10% of your appointment.
Fixed-term contract: you will be appointed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years (4 year contract) or 3.5 years (5 year contract).
This position is part of the Software Science group at the Institute for Computing and Information Sciences (iCIS) of Radboud University. Our mission is to conduct top-notch research on the use of models for the design and analysis of software, bridging the gap between theory and applications. The Faculty of Science is a complete science faculty where research and education are closely intertwined. The faculty aims to be an academic community with an international character, where staff members from different backgrounds combine their talents with the common goal of being a leading faculty of science in Europe. Radboud University is an equal opportunity employer, committed to building a culturally diverse intellectual community, and as such encourages applications from women and minorities. The university offers customised facilities to better align work and private life. Parents are entitled to partly paid parental leave and employees enjoy flexibility in the way they structure their work. The university highly values the career development of its staff, which is facilitated by a variety of programmes.
We maken het je graag makkelijk, log in voor deze en andere handige functies: