Postdoc en mathématiques et informatique fondamentale (H/F)
Nouveau
- Chercheur en contrat CDD
- 12 mois
- Doctorat
This offer is available in English version
Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée.
L'offre en un coup d'oeil
L'unité
Institut de Recherche en Informatique Fondamentale
Type de Contrat
Chercheur en contrat CDD
Temps de Travail
Complet
Lieu de Travail
75205 PARIS 13
Durée du contrat
12 mois
Date d'Embauche
01/11/2026
Rémuneration
A partir de 3131€ bruts mensuels
Postuler Date limite de candidature : mercredi 14 octobre 2026 23:59
Description du Poste
Les Missions
• Développement d’un cadre formel de dimension supérieur dans lequel raisonner de manière modulaire et indépendante du choix de présentation logique et algébrique du concept et définitions
L'Activité
• Construction d’un cadre conceptuel et de dimension supérieure pour les mathématiques formalisées
• Rédaction d’articles scientifique et diffusion du savoir
• Coordination et communication entre les différentes disciplines (mathématiques, informatique, linguistique)
Votre Profil
Compétences
• Expert en algèbre homologique et homotopique
• Expert en théorie des catégories et en algèbre de dimension supérieure
• Bonne connaissance de la théorie des types et de la logique catégorique
• Anglais : B2 (Cadre européen de référence)
• Capacité de conceptualisation
• Sens critique
• Sens de l'organisation
• Aptitude au travail en équipe
Votre Environnement de Travail
Le projet a pour objectif de participer au développement d’une nouvelle génération d’assistants à la preuve, qui intègrent dans leurs noyaux une couche linguistique et des outils d'assistance automatisée pour guider le scientifique et faciliter la construction de documents mathématiques certifiés, depuis le choix des concepts et des définitions, jusqu’à l'élaboration des théorèmes et des démonstrations.
Contraintes et risques
Aucunes
Rémunération et avantages
Rémunération
A partir de 3131€ bruts mensuels
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
À propos de l’offre
| Référence de l’offre | UMR8243-LAUPIN-003 |
|---|---|
| Section(s) CN / Domaine de recherche | Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations |
| Expérience souhaitée | 1 à 4 années |
À propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
Créer une alerte
Ne manquez aucune opportunité de trouver le poste qui vous correspond. Inscrivez-vous gratuitement et recevez les nouvelles offres directement dans votre boite mail.