PhD position in Number Theory & Formalization @ VU Amsterdam

Stream: job postings

[Sander Dahmen]

https://workingat.vu.nl/ad/phd-position-number-theory-and-formalization/70lg5t

The Department of Mathematics of Vrije Universiteit Amsterdam welcomes applications for a fully-funded, 4-year PhD position in Number Theory and Formalization. Supervised by me in collaboration with others at the Math and CS departments. The (prefered) starting date is 1 September or earlier. The application deadline is 29 March.

[Sander Dahmen]

https://www.few.vu.nl/~sdn249/vacancy.html

There is a fully-funded 4-year PhD position available at the Department of Mathematics of Vrije Universiteit Amsterdam. The PhD research will focus on Number Theory and Formalization, in particular on formalizing aspects of algorithms and their output related to modular forms computations. It will be supervised by me (daily supervisor) and @Assia Mahboubi. The preferred starting date is 1 September 2025. The recruitment process will continue until the position is filled; it's advised to apply by Pi Day (i.e. March 14; which is admittedly quite short notice) here. Interested candidates are welcome to contact me via s.r.dahmen@vu.nl or Zulip DM.

Note that this position is part of the EU-funded MSCA Doctoral Network COGENT (Cohomology, Geometry, Explicit Number Theory), which contains 13 PhD vacancies. One other position involving (some) formalization is DC5: Homological perturbation theory for Hochschild cohomology and applications.