Phd Position F/m Phd Position On Constructive Reverse Mathematics

il y a 1 semaine

Paris, France Inria Temps plein

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.

**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

**Informations générales**:

- **Thème/Domaine**: Preuves et vérification
Calcul Scientifique (BAP E)
- **Ville**: Paris
- **Centre Inria**: Centre Inria de Paris
- **Date de prise de fonction souhaitée**: 2025-10-01
- **Durée de contrat**: 3 ans
- **Date limite pour postuler**: 2025-09-15

**Consignes pour postuler**:
**Sécurité défense**:
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

**Politique de recrutement**:
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

**Contacts**:

- **Équipe Inria**: CAMBIUM
- **Directeur de thèse**:
**L'essentiel pour réussir**:
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.

**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'efforce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.

  • Postdoctoral Researcher

    il y a 1 semaine

    Paris, France Meta Temps plein

    **Postdoctoral Researcher (PhD) Responsibilities**: - Perform research to advance the science and technology of intelligent machines - Perform research that enables learning the semantics of data (images, video, text, audio, and other modalities) - Devise better data-driven models of human behavior - Contribute research that can be applied to Facebook...

  • PhD opening in Supply Chain

    il y a 1 semaine

    Paris, France KEDGE BS Temps plein

    KEDGE Business School est une Ecole de management française de référence présente sur 4 campus en France (Paris, Bordeaux, Marseille et Toulon), 2 en Chine (Shanghai et Suzhou), 2 en Afrique (Sénégal et Cote d'Ivoire) et 6 campus associés (Avignon, Bastia, Bayonne, Mont-de-Marsan,Dakar, Abidjan).KEDGE BS propose une offre de 38 formations en...

  • PhD Candidate: Human Brain Organoid Neurodevelopment

    il y a 1 semaine

    Paris, France Euraxess Temps plein

    A leading research institute in Paris is seeking a highly motivated PhD candidate for a funded position to investigate neurodevelopment using human brain organoids. The role requires expertise in cell culture and molecular biology, with responsibilities including generating stable cell lines and conducting detailed analysis. A Master's degree is required,...

  • Phd Student, Ai

    il y a 2 semaines

    Paris, France Meta Temps plein

    **PhD Student, AI Responsibilities**: - Perform research to advance the science and technology of intelligent systems. - Perform research that improves computational understanding and representing of data. - Devise data-driven models of human behavior. - Influence progress of relevant research communities by producing publications. - Collaborate and...

  • PhD Candidate: Human Brain Organoid Neurodevelopment

    il y a 1 semaine

    Paris, France EURAXESS Ireland Temps plein

    A leading research institute in Paris is seeking a motivated PhD student to explore the role of morphogens in neurodevelopment. The position is fully funded for 3 years, starting April 1st, 2026, and involves generating stable lines from human stem cells and working on brain organoids. Ideal candidates should have a Master’s degree and experience in cell...

  • PhD Researcher: Synthetic Tabular Data

    il y a 1 semaine

    Paris, France Neuralk Ai Temps plein

    A deep-tech AI startup in Paris is seeking a PHD researcher in synthetic data generation. The role involves developing advanced generative models and collaborating with a research team. Candidates must have a Master’s degree and knowledge of generative models applied to structured data. This position also includes publishing research findings in top-tier...

  • Fundamental Ai Research Scientist, Fair

    il y a 1 semaine

    Paris, France Meta Temps plein

    **Fundamental AI Research Scientist, FAIR (PhD) Responsibilities**: - Perform research to advance the science and technology of intelligent machines. - Perform research that enables learning the semantics of data (images, video, text, audio, and other modalities). - Work towards long-term ambitious research goals, while identifying immediate milestones. -...

  • Postdoctoral Position

    il y a 2 semaines

    Paris, France CGenetix Temps plein

    **Regular travel required** Regular travels are mandatory for this job position between Paris (France) and Leiden (Netherland) during the first 12 months of the mission. **Full job description** **HOW MIGHT YOU DEFY IMAGINATION?** You’ve worked hard to become the professional you are today and are now ready to take the next step in your career. How...

  • PhD thesis project

    il y a 1 semaine

    Paris, France Institut Curie Temps plein

    Context The Curie Institute Research Center is a major player in the fight against cancer. It consists of a hospital and a Research Center of more than 1000 employees with a strong international objective. The “Immunity and Cancer” unit (U932) at Institut Curie is composed of 10 research teams, including the “Innate Immunity” team led by Nicolas...

  • PhD Candidate PatCorg project M/F

    il y a 1 semaine

    Paris, France EURAXESS Ireland Temps plein

    U1266 - CENTRE DE PSYCHIATRIE ET NEUROSCIENCES Organisation/Company CNRS Department U1266 - CENTRE DE PSYCHIATRIE ET NEUROSCIENCES Research Field Physics Researcher Profile First Stage Researcher (R1) Application Deadline 9 Feb 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Apr 2026...