Vrije Universiteit Amsterdam

PhD Position in Number Theory and Formalization

Explore the formalization of number theory with proof assistants to tackle Diophantine problems. Join a dynamic team at Vrije Universiteit Amsterdam working at the intersection of pure and algorithmic mathematics.

This research addresses the need for formal verification in pure mathematics, enhancing the reliability and reproducibility of results in n…