📍 Jobs Near Me
For Job Seekers For Employers
📍

HiringNearMe.work

Local Jobs, Zero Commute

Jobs
Home › Jobs Near France › PhD Position F/M Interoperability for Synthetic Mathematics in a Proof Assistant
📍 Local Job Near You

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

🏢
INRIA
📍 Gif-sur-Yvette, France
📍
Location Gif-sur-Yvette
📅
Posted June 20, 2026
🚗
Commute Local Area
🎯
Local Opportunity Near You!

This job is in your area. Enjoy a short commute and work close to home.

📋
Job Description

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.

    • Apply for This Job

    Submit Application

    Quick and secure application process

    📍 Location Details

    🌆
    City
    Gif-sur-Yvette
    🗺️
    Country
    France
    🚗
    Commute
    Local Area

    🔍 More Jobs Nearby

    Explore other opportunities in Gif-sur-Yvette

    View Local Jobs