Summary
The Department of Mathematics at Vrije Universiteit Amsterdam invites applications for a fully-funded, 4-year PhD position specializing in Number Theory and Formalization. The successful candidate will work on developing and formalizing number theory necessary for solving Diophantine problems.
PhD Position in Number Theory and Formalization, Vrije Universiteit Amsterdam, Netherlands
Designation
PhD Candidate in Number Theory and Formalization
| Attribute | Details |
|---|---|
| Research Area | Number Theory, Formalization |
| Location | Vrije Universiteit Amsterdam, Netherlands |
| Eligibility/Qualification | MSc degree in Mathematics (or equivalent) |
| Application Deadline | 28 May 2026 |
Job Description
- Conduct research towards writing a PhD thesis.
- Engage in teaching tasks (approximately 15% of your time), including supervising exercise classes.
- Collaborate on projects aimed at formalized Diophantine research, bridging theoretical and practical approaches.
Research Area
The research will focus on:
- Effective/algorithmic number theory.
- Formalizing mathematics using proof assistants like Lean or Rocq.
- Addressing Diophantine problems with an emphasis on both pure and applied outcomes.
Location
- Vrije Universiteit Amsterdam, located in the heart of Amsterdam’s Zuidas business district.
Eligibility/Qualification
- Required:
- A (prospective) MSc degree in Mathematics or an equivalent field.
- Good communication skills in English.
- Preferred:
- Background in number theory or arithmetic geometry.
- Affinity with using a proof assistant (prior experience is a plus).
How to Apply
Interested candidates should apply through the application button on the university’s website by submitting:
- Cover Letter
- Curriculum Vitae (CV)
- List of courses and grades at the MSc and BSc level
- (Draft) MSc thesis or another mathematical text authored (e.g., a BSc thesis)
- Names and email addresses of two references.
Note: Applications sent via email will not be considered.
Last Date to Apply
- 28 May 2026
If you have any queries regarding the vacancy, please contact Sander Dahmen, Associate Professor of Mathematics, at s.r.dahmen@vu.nl.
