Informations générales Organisme de rattachement CNRS Référence UMR5668-MARNAR-013 Date de début de diffusion 20/05/2026 Date de parution 08/06/2026 Date de fin de diffusion 10/06/2026 Intitulé long de l'offre Post-Doc pour rejoindre le projet ANR ATQUA - H/F Date limite de candidature 10/06/2026 Nature du contrat CDD de 2 ans 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 Post-Doc pour rejoindre le projet ANR ATQUA - 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 : 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. Conditions particulières d'exercice Le Centre national de la recherche scientifique est l’une des plus importantes institutions publiques au monde : 34 000 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 : 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. Temps plein Oui Rémunération contractuels (en € brut/an) A partir de 3 071 euros brut mensuel selon le niveau d’expérience Localisation du poste Europe, France, Auvergne-Rhône-Alpes, Rhône (69) Géolocalisation du poste LYON 07 Lieu d'affectation (sans géolocalisation) 69364 LYON 07 (France) Critères candidat Niveau d'études / Diplôme 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.