Vos missions en quelques mots Missions : Développer les axes de recherche du projet ANR ATQUA sur le développement, dans différentes directions, de la théorie des algèbres quantitatives. La recherche se basera sur l'utilisation de la théorie des catégories, de la logique classique et infinitaire, mais aussi des systèmes syntaxiques de déduction et de raisonnement à partir desquels il est possible d'extraire des algorithmes ou des techniques applicables à l'IA et aux langages de programmation. Le projet ATQUA est coordonné en France par Matteo Mio (ENS de Lyon) et en Allemagne par Stefan Milius (Université Friedrich-Alexander d'Erlangen-Nuremberg). Le profil recherché devra favoriser la collaboration entre ces deux sites de recherche, en coopérant avec les deux, ce qui impliquera des déplacements entre les deux sites. Activités : Recherche fondamentale en logique, sémantique et programmation. Recherches bibliographiques, rédaction d'articles, présentation de travaux en séminaire et conférences. Missions de recherche à l'étranger, et surtout à l’Université Friedrich-Alexander d'Erlangen-Nuremberg. Contexte de travail : Vous serez intégré(e) dans l’équipe de recherche Plume au LIP se situe au 46 allée d’Italie à Lyon. Le Laboratoire de l'Informatique du Parallélisme a été créé à l'École Normale Supérieure de Lyon en 1988. C'est une unité mixte de recherche de l'ENS et du Centre National de la Recherche Scientifique depuis 1989, et de l'Université Claude Bernard Lyon 1 depuis 2003. Profil recherché Competences : Nous recherchons un(e) candidat(e) titulaire d'un doctorat en mathématiques ou en informatique ayant une expérience en théorie des catégories, en logique ainsi que dans les aspects théoriques des langages de programmation. Idéalement, mais pas obligatoirement, avec des connaissances déjà acquises sur la théorie des algèbres quantitatives (de Mardare, Panangaden, Plotkin). Contraintes et risques : Le laboratoire LIP n'est pas un laboratoire expérimental et ne comporte pas de contraintes et risques particuliers. 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.