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.