PhD Position in Number Theory and Formalization at VU Amsterdam [NL]

The candidate will conduct research on both developing and formalizing (with a proof assistant such as Lean or Rocq) number theory necessary for solving Diophantine problems. The focus will be on effective/algorithmic number theory, but more "pure" results will also play an important role. It will be supervised by Sander Dahmen (daily supervisor) and Assia Mahboubi. The position also contains a small teaching component.