Post-Doc pour rejoindre le projet ANR ATQUA - H/F
Référence : UMR5668-MARNAR-013
- Fonction publique : Fonction publique de l'État
- Employeur : Centre national de la recherche scientifique (CNRS)
- Localisation : 69364 LYON 07 (France)
Partager la page
Veuillez pour partager sur Facebook, Twitter et LinkedIn.
- Nature de l’emploi Emploi ouvert uniquement aux contractuels
-
Nature du contrat
CDD de 2 ans
- Expérience souhaitée Non renseigné
-
Rémunération Fourchette indicative pour les contractuels A partir de 3 071 euros brut mensuel selon le niveau d’expérience € brut/an Fourchette indicative pour les fonctionnaires Non renseignée
- Catégorie Catégorie A (cadre)
- Management Non renseigné
- Télétravail possible Non renseigné
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
Qui sommes-nous ?
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érieur, de la Recherche et de l’Innovation.
C’est l’une des plus importantes institutions publiques au monde : 33 000 femmes et hommes (dont plus de 16 000 chercheurs et plus de 16 000 ingénieurs et techniciens), 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, le CNRS développe des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit entre ses missions de recherche et le transfert vers la société fait du CNRS un acteur clé de l’innovation en France et dans le monde.
Le partenariat qui lie le CNRS avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires témoignent du potentiel économique de ses travaux de recherche.
À propos de l'offre
-
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.
-
Vacant
-
Chercheuse / Chercheur
