Phd Position F - M Phd Position on Constructive Reverse Mathematics H/F - 75

A propos d'Inria

Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.PhD Position F/M PhD position on constructive reverse mathematics
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD

Niveau de diplôme exigé : Bac +5 ou équivalent

Fonction : Doctorant

Contexte et atouts du poste

The PhD will take place in the Cambium team at Inria Paris. Travel to conferences and workshops is usally possible.

Mission confiée

Assignments :
The position consists of full-time research.

For a better knowledge of the proposed research subject :
A state of the art, bibliography and scientific references are available on request from ****@****.**

Collaboration :
Collaboration with other Inria teams and international collaborators will be possible.

Principales activités

Main activities: Research on constructive reverse mathematics in connection to model theory.

Compétences

The prospective student should have a background in interactive theorem proving in the proof assistant Rocq, a background in model theory, and a background in constructive mathematics.

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