Job Information
- Organisation/Company: Inria, the French national research institute for the digital sciences
Offer Description
The candidate will be cosupervised by Hugo Herbelin in Paris and Ambrus Kaposi in Budapest.
Travel expenses will be covered within the limits of the scale in force.
The objective of the PhD is to study, design and implement variants of type theory with native support for second-order binder and modalities.
The PhD is in collaboration between Paris and Budapest with stays alternating in both locations. The PhD work will notably consist in:
- bibliography work;
- (possibly) attend some additional graduate courses to complement the curriculum;
- regular working sessions with the supervisors;
- contribute to the scientific life of the lab (seminar, working groups and lab meetings, ...);
- writing of reports and publications, presentation at seminars and conferences;
- possibly, teaching assistantship;
- possibly participate to a young research school during the course of the PhD;
- writing of the thesis manuscript and defense of the thesis;
Where to apply
Website: https://jobs.inria.fr/public/classic/en/offres/2026-10373
Requirements
Skills/Qualifications
Technical skills and level required: master in mathematics or theoretical computer science
Languages: proof assistants (Rocq, Lean, Agda, Isabelle, ...)
Specific Requirements
Motivation for the job.
Languages: FRENCH Level: Basic
Languages: ENGLISH Level: Good
Additional Information
Benefits
- 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
- Access to vocational training
- Social security coverage
Selection process
Website for additional job details: https://jobs.inria.fr/public/classic/en/offres/2026-10373
Work Location(s)
Number of offers available: 1
Company/Institute: Inria
Country: France
City: Paris
Contact
City: LE CHESNAY CEDEX
Website: http://www.inria.fr
Street: Domaine de Voluceau - Rocquencourt
Postal Code: 78153
Voici une liste de prévisions...
Vous devez vous connecter pour voir la description complète de l'emploi et postuler.
Gérer / Mettre à niveau cet emploi vers une liste complète d'emploi.
Trouvez votre meilleure opportunité
leur dire AcademicJobs.com Envoyez vous !
 jobs.png){kind=logo}