Development of components for a new generation of mathematical proof assistants

Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

Contrat renouvelable : Oui

Niveau de diplôme exigé : Thèse ou équivalent

Fonction : Ingénieur scientifique contractuel

Niveau d'expérience souhaité : Jeune diplômé

Contexte et atouts du poste

The candidate will join the Malinca ERC team spanned over Paris, Nancy, Nice and Madrid.

 

Mission confiée

The recruited person will be in charge of developing components for a new generation of proof assistants devoted to the machine-based validation of mathematical works.

 

Principales activités

Main activity: proof assistant design, software architecture, implementation

 

Compétences

The typical expected programming experience is in Haskell, OCaml, Agda, Coq, Lean, C++, Rust, ...

A general background in mathematics is expected. Knowledge in the foundations of mathematics (type theory, set theory, topos theory, ...) is welcome.

 

Avantages

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities