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

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