Description du poste
<b>Domaine / Métier : </b>Recherche/Chercheuse / Chercheur<br /> <b>Nature de l'emploi : </b>Emploi ouvert uniquement aux contractuels<br /> <b>Description du poste : </b><br /> Missions : La mission est de contribuer au développement de résultats fondamentaux qui s'inscrivent dans le projet ANR ALARICE , à l'interface entre les réseaux d'automates et la théorie de la complexité algorithmique. - Site du projet : https://alarice.lis-lab.fr/ Activités : - Analyser l’état de l’art sur les problématiques scientifiques étudiées. - Définir et formaliser des problèmes de recherche originaux si possible impliquant de nouvelles techniques de preuves. nouvelles approches, modèles, méthodes ou résultats théoriques. - Rédiger et présenter les résultats scientifiques. - Participer aux activités scientifiques de l’équipe d’accueil et du projet ALARICE. Contexte de travail : Le chercheur intégrera l'équipe MC3 du laboratoire I3S. - Site de l'équipe : https://mc3.i3s.univ-cotedazur.fr/ - Site du laboratoire : https://www.i3s.unice.fr/fr/ <br /><br /> Competences : Nous recherchons des candidats possédant de solides compétences en informatique théorique, en mathématiques discrètes ou en combinatoire. Une expertise dans les domaines suivants sera particulièrement appréciée : - modèles de calcul, - systèmes dynamiques discrets, - théorie de la complexité algorithmique, - théorie des graphes (algorithmique et structurelle) et jeux sur graphes. Contraintes et risques : <br /> <b>Géolocalisation du poste : </b>VALBONNE<br /> <b>Niveau d'études / Diplôme : </b>Niveau 8 Doctorat/diplômes équivalents<br /> <b>Langue / Niveau : </b><br /> Français : Seuil<br />