SearchEuropeanJobs.com

PhD Position F/M Interoperability for Synthetic Mathematics in a Proof Assistant

Company

INRIA

Location

Gif-sur-Yvette, France

Type

CDD

Contexte et atouts du poste

The student will be located in the Deducteam of Inria Saclay, with regular research visits to the Cambium team at Inria Paris.


Travel to conferences and summer schools is expected and funding is available.

Mission confiée

For a better knowledge of the proposed research subject :


A state of the art, bibliography and scientific references are available at the following URL, do not hesitate to log in: 


Principales activités

Main activities (5 maximum) :

  • Write scientific papers to publish their results.

  • Formalise in Rocq (or another proof assistant) their results.

  • Work together with the advisors on concrete implementations of synthetic mathematics in one or several proof assistants, including experimental and widespread ones.

  • Attend conferences and summer schools to further their training as researcher.
  • ★ Ready to Start Your European Career?

    Take the next step and apply for this exciting opportunity

    Apply Now