Vos missions en quelques mots 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. 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 Niveau d'études minimum requis Niveau Niveau 8 Doctorat/diplômes équivalents Spécialisation Formations générales Langues Français Seuil
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.