Vos missions en quelques mots Missions : La personne recrutée collaborera avec le PI sur des recherches portant sur des modèles de calcul opérant en temps ordinal. Dans un premier temps, il s’agira d’effectuer un état de l’art de la littérature existante, puis d’étendre et d’adapter les notions de dynamique symbolique au cadre ordinal. Dans ce projet, les automates cellulaires serviront à la fois de fil conducteur et d’outil d’analyse pour comprendre et développer ces nouvelles notions ainsi que les résultats associés. Activités : - recherches bibliographiques sur le machines de Turing (MdT- à temps ordinal - étude de la littératures sur les automates cellulaires (AC) à temps infini - recherche d'un cadre topologique adapté pour l'étude de MdT et AC à temps infini - recherches sur la dynamique des ce modèles ci-dessus - communications à des conférence ou dans des revues internationales des résultats trouvés Contexte de travail : La personne recrutée travaillera au laboratoire I3S et aura à sa disposition un bureau avec les moyens informatiques usuels (connexion internet, courrier électronique, imprimantes, etc). Elle sera membre à part entière de l'équipe MDSC. Profil recherché Competences : - formation solide en informatique théorique - bonnes connaissances de la littérature sur les Machines de Turing, sur les Automates Cellulaires et les Réseaux d'Automates - bonne aptitude relationnelle - capacité à travailler en groupe Contraintes et risques : Aucune contrainte particulière ni risque particulier est associé à ce poste. 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.