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 Sander Dahmen. The (prefered) starting date is 1 September or earlier. The application deadline is 29 March.

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