PhD Position in Number Theory and Formalization

Ente: AcademicTransfer

Scadenza: 2026-05-28

Paese: NL

Descrizione

The Department of Mathematics of Vrije Universiteit Amsterdam welcomes applications for a fully-funded, 4-year PhD position in Number Theory and Formalization.The candidate will conduct research on both developing and formalizing (with a proof assistant such as Lean or Rocq) number theory necessary...

Settori: Mathematics»Number theory

Vai al bando originale

Registrati gratis su Bandolo per trovare bandi compatibili con la tua azienda.