À propos de nous
Avec plus de 15 000 étudiants, une offre de formation pluridisciplinaire riche d’une centaine de diplômes nationaux et des laboratoires de qualité qui la font apparaître dans le classement de Shanghai, l'université Savoie Mont Blanc, membre de l’alliance européenne UNITA, est un établissement à taille humaine qui conjugue la recherche et la professionnalisation, la proximité avec ses territoires et une large ouverture sur le monde.
Le Laboratoire de Mathématiques (LAMA) est une unité mixte de recherche CNRS / Université Savoie Mont Blanc, situé sur le campus scientifique du Bourget-du-Lac en Savoie.
Mission
Ref Emploi : LAMAGULI
Affectation : Laboratoire de Mathématiques (composante d’affectation : UFR Sciences et Montagne)
I. Description du projet et activités de recherche associées
Cette offre de post-doctorant de 18 mois s’inscrit dans le projet interdisciplinaire ANR SHINE GULI, qui réunit un physicien numéricien et des théoriciens des langages de programmation pour tenter d'élaborer une solution conceptuellement claire couvrant tous les cas d'application.
II. Missions et activités du poste
La ou le post-doctorant sera intégré(e) dans l'équipe Logique Informatique Mathématiques Discrètes du LAMA. En fonction de ses compétences, elle ou il pourra contribuer aux tâches suivantes :
* évaluation des approches existantes ;
* conception d'une approche plus complète ;
* prototypage de cette approche.
Ce travail se fera en interaction étroite avec les autres membres du projet.
Profil
I. Conditions d’exercice
A temps plein au LAMA (bureau sur place). Déplacements prévus au LAPP à Annecy.
II. Spécificités liées au poste
La ou le post-doctorant·e sera accueilli·e au laboratoire de Mathématiques au Bourget-du-Lac.
III. Compétences attendues
Les compétences pertinentes pour ce poste sont : théorie des types, théorie des catégories, théorie des langages de programmation, programmation dans un assistant de preuve.
IV. Conditions de recrutement
Le recrutement est ouvert aux personnes titulaires d’un doctorat délivré par une université française, ou d’un diplôme reconnu équivalent.
Contrat de niveau A à durée déterminée du 03/02/2025 au 31/07/2026 à temps plein.
V. Comment candidater
Transmettre les documents suivants dans un fichier pdf unique nommé LAMAGULI_NOM PRENOM :
* Curriculum Vitae
* Lettre de motivation
* Copie(s) du ou des diplômes
* Rapport de soutenance de thèse
#J-18808-Ljbffr
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.