PhD Position in Number Theory: The Vrije Universiteit Amsterdam is offering a fully-funded, 4-year PhD position focused on Number Theory and Formalization as part of the EU-funded MSCA Doctoral Network COGENT. The research will emphasize the formal verification of theory and algorithmic output for modular forms using proof assistants.
PhD Position in Number Theory and Formalization
Designation
PhD Candidate – Number Theory and Formalization
Table of Details
| Category | Details |
|---|---|
| Research Area | Number Theory and Formalization |
| Location | Vrije Universiteit Amsterdam, Netherlands |
| Eligibility/Qualification | MSc degree in Mathematics or equivalent |
| Remuneration | €2901 – €3707 gross monthly salary |
| Contract Duration | Initial 1 year, extendable for 3 years |
| Teaching Responsibilities | Approximately 15% of the time |
| Application Deadline | March 14 (Pi Day) |
Research Area
The research focuses on the formal verification of theories and algorithmic outputs related to modular forms utilizing proof assistants such as Lean.
Location
Vrije Universiteit Amsterdam, Netherlands, with a prospective research secondment at the University of Sheffield.
Eligibility/Qualification
- A (prospective) MSc degree in Mathematics or an equivalent field.
- Good communication skills in English.
- Must not have resided or conducted main activity in the Netherlands for more than 12 months in the 36 months leading up to the recruitment date.
- Background in number theory/arithmetic geometry preferred, with an interest in computational aspects.
- Affinity for using a proof assistant (experience preferred but not required).
Description
The candidate will engage in research to develop a PhD thesis, collaborate with international partners within the COGENT Network, and partake in teaching tasks. The position is designed to promote diversity and internationalism, encouraging applications from under-represented groups, particularly women and individuals from ethnic minority backgrounds.
How to Apply
Interested candidates should apply via the COGENT application website. Applications sent via email will not be considered. For inquiries regarding this position, contact Sander Dahmen at s.r.dahmen@vu.nl.
Last Date to Apply
The recruitment process is ongoing until all positions are filled; however, it is highly recommended to apply by March 14 (Pi Day).
