Postdoc Aspects dynamiques et arithmétiques de la vérification 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/10/2026
Rémuneration
3131€ brut par mois si moins de 2 années de post-doctorat précédentes.
Postuler Date limite de candidature : mardi 5 mai 2026 23:59
Description du Poste
Les Missions
La recherche sera menée dans le cadre de l'ERC Synergy DynAMICs (Valérie Berthé, Florian Luca et Joël Ouaknine). Les sujets d'intérêt incluent, mais ne sont pas limités à, l'étude des systèmes dynamiques linéaires, la dynamique symbolique, les suites récurrentes, la vérification, les aspects logique de la vérification.
L'Activité
- Recherche dans le cadre du groupe Automates et Applications
- Participation au séminaire de recherche et aux discussions de groupe
- Participation aux réunions, séminaires de recherche et aux discussions menées au sein de l'ERC Dynamics
- Encadrement de stagiaires, collaboration avec des doctorants
Votre Profil
Compétences
- Doctorat en informatique théorique ou en mathématiques
- Mener un projet de recherche de façon indépendante
- Rédiger des articles scientifiques et présenter ses travaux en séminaire
- Compétences en matière d'organisation et de collaboration
- Bonne compétences académiques en anglais (C1)
- Une expertise en systèmes dynamiques et en vérification est un avantage
Votre Environnement de Travail
La recherche aura lieu au sein de l'équipe Automates et Applications dont les recherches portent d’une part sur les questions fondamentales de la théorie des automates et d’autre part sur des questions algorithmiques issues de problèmes concrets.
Rémunération et avantages
Rémunération
3131€ brut par mois si moins de 2 années de post-doctorat précédentes.
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-TIFKON-010 |
|---|---|
| Section(s) CN / Domaine de recherche | Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations |
À 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.