Postdoc Aspects dynamiques et arithmétiques de la vérification H/F
il y a 1 semaine
Informations générales
Organisme de rattachement
CNRS
Référence
UMR8243-TIFKON-005
Date de début de diffusion
/01/2026
Date de parution
/01/2026
Date de fin de diffusion
/01/2026
Versant
Fonction Publique de l'Etat
Catégorie
Catégorie A (cadre)
Nature de l'emploi
Emploi ouvert uniquement aux contractuels
Domaine / Métier
Recherche - Chercheuse / Chercheur
Statut du poste
Vacant
Intitulé du poste
Postdoc Aspects dynamiques et arithmétiques de la vérification H/F
Descriptif de l'employeur
Le Centre national de la recherche scientifique est un organisme public de recherche pluridisciplinaire placé sous la tutelle du ministère de l'Enseignement supérieure et de la Recherche. Créé en 1939 et dirigé par des scientifiques, il a pour mission de faire progresser la connaissance et être utile à la société dans le respect des règles d'éthique, de déontologie et d'intégrité scientifique.
Description du poste
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.
Activités :
- 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
Contexte 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.
Conditions particulières d'exercice
Le Centre national de la recherche scientifique est l'une des plus importantes institutions publiques au monde : femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l'Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l'international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l'innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche.
Descriptif du profil recherché
Competences :
- 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
Contraintes et risques :
Aucune
Temps plein
Oui
Rémunération contractuels (en € brut/an)
3080€ à 4291€ bruts par mois, en fonction de l'expérience précédente.
Localisation du poste
Europe, France, Île-de-France, Paris (75)
Géolocalisation du poste
PARIS 13
Lieu d'affectation (sans géolocalisation)
75205 PARIS 13 (France)
Critères candidatNiveau d'études / Diplôme
Niveau 8 Doctorat/diplômes équivalents
Spécialisation
Formations générales
Langues
Français (Seuil)
-
gestionnaire administratif pepr mie
il y a 1 semaine
Paris 13 Gobelins, Île-de-France Inserm Temps pleinLe posteMission principaleLe gestionnaire administratif PEPR MIE F/H évolue au sein du Pôle AAP, sous la responsabilité de la responsable du Pôle et en étroite collaboration avec la chargée de mission PEPR MIE. L'agent exercera ses activités de manière transversale en lien avec les autres départements de l'agence, de l'Inserm et des partenaires...
-
Infirmier(e) F/H en Hospitalisation de Jour F/H
il y a 1 semaine
Paris 13 Gobelins, Île-de-France Ap-Hp Temps pleinInformations générales Entité de rattachement du publieur Situé à Paris (13ème arrondissement), l'hôpital de la Pitié-Salpétrière est le premier groupe hospitalier franais, regroupant 82 services répartis dans 90 bâtiments. C'est l'hôpital de référence notamment sur les spécialités suivantes : affections du système nerveux, pathologies...
-
Infirmier(e) F/H en Hospitalisation de Jour F/H
il y a 1 jour
Paris 13 Gobelins, Île-de-France Ap-Hp Temps pleinInformations générales Entité de rattachement du publieur Situé à Paris (13ème arrondissement), l'hôpital de la Pitié-Salpétrière est le premier groupe hospitalier français, regroupant 82 services répartis dans 90 bâtiments. C'est l'hôpital de référence notamment sur les spécialités suivantes : affections du système nerveux,...
-
Infirmier(e) F/H en Hospitalisation de Jour F/H
il y a 1 jour
Paris 13 Gobelins, Île-de-France Ap-Hp Temps pleinInformations générales Entité de rattachement du publieur Situé à Paris (13ème arrondissement), l'hôpital de la Pitié-Salpétrière est le premier groupe hospitalier français, regroupant 82 services répartis dans 90 bâtiments. C'est l'hôpital de référence notamment sur les spécialités suivantes : affections du système nerveux,...
-
Integration UI F/H
il y a 6 jours
Paris 13 Gobelins, Île-de-France Groupe La Poste Temps pleinInformations générales Branche / Entité Entité d'affectation : DOCAPOSTE IOT Référence D Personne à contacter Intitulé du posteIntegration UI F/H Nombre de postes à pourvoir1 Filière / MétierPROJETS - CHEF DE PROJETClasse ClasseGroupe ADescription du poste VOS PRINCIPALES MISSIONS Ton rôle en tant que Intégrateur UI Senior sera...
-
Agent du circuit des entrées
il y a 1 semaine
Paris 13 Gobelins, Île-de-France BIBLIOTHEQUE NATIONALE DE FRANCE Temps pleinRéférence du poste : 1741 & 1786Sites : François-Mitterrand Quai François-Mauriac Cedex ParisCatégorie : CGroupe RIFSEEP : 2Corps : Contractuel; Magasinier des bibliothèquesFamille : Services aux publics traitement des collectionsEmploi de référence : Magasinier de bibliothèqueSpécialité professionnelle : EntréesFourchette de rémunération :...
-
Adjoint à la directrice du département Droit, économie, politique
il y a 1 semaine
Paris 13 Gobelins, Île-de-France BIBLIOTHEQUE NATIONALE DE FRANCE Temps pleinRéférence du poste : 0735Sites : François-Mitterrand Quai François-Mauriac Cedex ParisCatégorie : AGroupe RIFSEEP : 2Corps : Conservateur de bibliothèque; Contractuel; Contractuels en CDI de la fonction publiqueFamille : EncadrementEmploi de référence : Adjoint au directeur de départementSpécialité professionnelle : Service aux publics traitement...
-
Commis de cuisine H/F
il y a 1 jour
Paris 13 Gobelins, Île-de-France La Piola Sciacatra Temps pleinÀ propos du posteNous recherchons un ou une commis de cuisine motivé(e) et passionné(e) pour rejoindre notre établissement. En tant que commis de cuisine, vous participerez activement à la préparation des plats, au bon déroulement du service et à la mise en valeur de notre cuisine. Vous évoluerez dans un environnement dynamique où votre...
-
Coordonnateur des services au public
il y a 1 semaine
Paris 13 Gobelins, Île-de-France BIBLIOTHEQUE NATIONALE DE FRANCE Temps pleinRéférence du poste : 0485Sites : François-Mitterrand Quai François-Mauriac Cedex ParisCatégorie : AGroupe emploi : 3Famille : Services aux publics traitement des collectionsEmploi de référence : Chargé de service publicSpécialité professionnelle : Services aux publicsDurée du contrat : 3 ansFondement du contrat : L332-1Fourchette de rémunération...
-
Paris 13 Gobelins, Île-de-France BIBLIOTHEQUE NATIONALE DE FRANCE Temps pleinRéférence du poste : 1464Sites : François-Mitterrand Quai François-Mauriac Cedex ParisCatégorie : BGroupe RIFSEEP : 2Corps : Contractuel; Secrétaire administratifFamille : Administration gestionEmploi de référence : Secrétaire / assistant administratifSpécialité professionnelle : Assistant de directionFourchette de rémunération : 26 772€ et 42...
