Open positions

• PhD position on the formalisation of algebraic number theory and arithmetic geometry in Lean, within the ANR project FALSE.
  This position has been filled by Wenrong Zou.