Chercheur Post-doctorant
Il y a 2 mois
**À 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.
Sur ses trois campus d’Annecy, du Bourget-du-Lac et de Jacob-Bellecombette, elle propose différents cursus courts et longs (Diplômes d’université, Bachelors universitaires de technologie, Licences, Masters, Doctorats, Diplômes d'ingénieurs) que ce soit en formation initiale ou continue, en alternance ou via diverses validations, en présentiel ou à distance.
Entre Genève, Turin, Lyon et Grenoble, aux frontières de la Suisse et de l'Italie, avec le concours des collectivités qui l’ont vu naître et des entreprises qui l’accompagnent, elle est un acteur majeur du dynamique écosystème national et transfrontalier, fortement impliqué dans son développement économique, social et culturel.
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**
La plupart des programmes de simulation font leurs calculs numériques sans vérification de leur cohérence physique. Par exemple, ajouter une longueur (en mètres) et une force (en newton) ne sera pas détecté par le langage de programmation comme une erreur. Or, les systèmes de typage servent à détecter certaines incohérences de nature similaire, en interdisant par exemple d’additionner des valeurs numériques avec des tableaux. Jusqu'à présent, les solutions proposées par les théoriciens des langages de programmation ont été conceptuellement claires, mais trop naïves pour couvrir tous les cas d'utilisation, alors que d'autres solutions sont devenues trop complexes en voulant traiter de nombreux cas indépendamment.
**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 au regard du catalogue de situations typiques recensées par le porteur du projet ;
- conception d'une approche plus complète s'appuyant sur la théorie des types et la théorie des catégories ;
- prototypage de cette approche, en étendant un langage existant ou en créant un langage spécifique afin de tester la pertinence de la solution.
Ce travail se fera en interaction étroite avec les autres membres du projet.
Pour tout renseignement complémentaire et contact utile, veuillez consulter l'offre en cliquant ICI
**Profil**:
**I. Conditions d’exercice**
A temps plein au LAMA (bureau sur place). Déplacements prévus au LAPP à Annecy.
Personnel de l’université, la ou le post-doctorant-e aura accès aux infrastructures de l’USMB (bibliothèques, activités du service des sports, etc). Le LAMA dispose d’une bibliothèque, d’une salle de séminaire, d’une salle de convivialité, une douche et un local à vélos sécurisé. Le lac du Bourget se situe à moins de 2km du laboratoire. Le campus est accessible depuis Chambéry ou Aix-les-Bains en transport en commun, en vélo (piste cyclable), et/ou en voiture/co-voiturage.
**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, avec T. Hirschowitz et P. Hyvernat. V. Reverdy étant basé au LAPP à Annecy, des réunions régulières seront organisées pour faciliter les interactions.
**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, implémentation de langages de programmation. Il n’est absolument pas nécessaire de posséder toutes ces compétences pour être recruté(e).
**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 par l’université, notamment un doctorat ou PhD délivré par une université étrangère.
Contrat de niveau A à durée déterminée du 03/02/2025 au 31/07/2026 à temps plein, Les deux premiers mois du contrat seront considérés comme période d’essai.
Rémunération brute mensuelle en référence à la grille de rémunération des maîtres de conférences de classe normale au 1er janvier 2024 :
-
Chercheur Post-doctorant Loupe 1.0
Il y a 7 mois
Le Bourget-du-Lac, France Université Savoie Mont Blanc Temps plein**À 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...
-
Chercheur Post-doctorant Edytem Magic2
Il y a 6 mois
Le Bourget-du-Lac, France UNIVERSITE SAVOIE MONT BLANC Temps plein**À 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...
-
Chercheur Post-doctorant
Il y a 7 mois
Le Bourget-du-Lac, France Université Savoie Mont Blanc Temps plein**À 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...
-
Chercheur Post-doctorant
Il y a 7 mois
Le Bourget-du-Lac, France Université Savoie Mont Blanc Temps plein**À 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...
-
Doctorat en Imagerie 2d/3D Appliquée à
il y a 4 semaines
Le Bourget-du-Lac, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 26 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorat en imagerie 2D/3D appliquée à l’archéologie pariétale (H/F)** Référence : UMR5204-CARDID-006 Nombre de Postes : 1 Lieu de travail :...
-
Chercheur Post-doctorant Locie Anr News
Il y a 6 mois
Le Bourget-du-Lac, France UNIVERSITE SAVOIE MONT BLANC Temps plein**À 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...
-
Chercheur/ Post-doc
Il y a 4 mois
Chasseneuil-du-Poitou, France Institut P' Temps pleinRECRUTEMENT CNRS- DR8 **FICHE DE POSTE** Laboratoire et service Laboratoire Pprime - GMSC/ PEM Du 01/12/2024 au 31/12/2025 (date d’embauche prévue) CONTACT Monsieur Jean-Christophe Dupré Monsieur Pascal Doumalin INTITULE DU POSTE LOCALISATION DU POSTE Chercheur/Post-Doctorant - CDD 12 mois Laboratoire d’accueil Institut Pprime -SP2MI,...
-
Post-doctorant Bfiep
il y a 5 jours
Le Havre, France BUILDERS École d'Ingénieurs Temps plein**Missions et activités**: **Dans le cadre du projet BFIeP et sous la responsabilité de l’enseignant chercheur en charge du projet, vous êtes en charge des missions suivantes**: - La caractérisation des performances et l’analyse de la durabilité des formulations optimisées, - La préfabrication industrielle des bétons formulés et l’analyse de...
-
(H/F) Cdd Chercheur en Sig/modélisation Du Micro-climat Urbain
il y a 4 semaines
Le Bourget-du-Lac, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 1 janvier 2025 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre**:H/F CDD Chercheur en SIG/modélisation du micro-climat urbain** Référence : UMR5204-YVEPER0-005 Nombre de Postes : 1 Lieu de travail : LE BOURGET DU...
-
Enseignant-chercheur - Energie (F/H)
Il y a 7 mois
Montigny-le-Bretonneux, France ETHIKA Temps pleinDescriptif du poste Dans l’objectif de renforcer notre positionnement et d’accompagner le développement en formation et en recherche de notre site de Saint Quentin en Yvelines, nous recherchons un(e) Enseignant(e)-chercheur(se) spécialisé(e) dans le domaine de la Conception et Commande des Systèmes de Conversion d’Energie. Missions principales en...
-
Chercheur Postdoctoral
Il y a 6 mois
Le Bourget, France L'Amphi Temps pleinL'idée est de créer un cuir vegan ayant les même caractéristiques que le cuir animal. Je souhaite que ce cuir soit réalisé à partir de marc de raisin mais je ne sais pas comment faire. Je souhaite 2 ans de recherche par un ou plusieurs chercheurs post-doctorat. Le projet est sérieux et a pour ambition de révolutionner le monde de la mode. Type...
-
Chercheur : Caractérisation D’aimants Permanents
Il y a 3 mois
Saint-Étienne-du-Rouvray (76), France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 22 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur : Caractérisation d’aimants permanents recyclés à base de terres rares (H/F)** Référence : UMR6634-CHRVUR-057 Nombre de Postes : 1 Lieu...
-
Post-doctoral Position
Il y a 3 mois
Saint-Étienne-du-Rouvray (76), France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : samedi 12 octobre 2024 23:59:00 heure de Paris **Informations générales**: Référence : UMR6634-CHRVUR-054 Nombre de Postes : 1 Lieu de travail : ST ETIENNE DU ROUVRAY Date de publication : samedi 21 septembre 2024 Type de contrat : CDD...
-
Post-doctorant-e Bfiep
il y a 4 jours
Le Havre, France Sophie Guillochin Temps pleinDescriptif du poste Le post-doctorat s inscrit dans le cadre d un projet collaboratif appelé « BFIeP » et visant à mettre au point un Béton à Faible Impact Environnemental Préfabriqué. Ce projet se situe dans un contexte de nécessité d intégration de l économie circulaire et de la performance environnementale au secteur du bâtiment. Il s appuie...
-
Chercheur de produits
il y a 3 semaines
Le Mans, Pays de la Loire, France mateam Temps pleinDescription du posteNous recherchons un Chercheur de produits pour rejoindre notre équipe.Missions :Montage de PLV en cartonSecteur d'activité : Autres/Non préciséLieu et planning :Date de la mission : Le 26 décembre de 05:00 à 07:00Contrat : CIDDRémunération : 11,88 € bruts par heureSi vous êtes disponible et motivé.e, nous vous encourageons à...
-
Chercheur de Vente Senior
il y a 5 jours
Le Havre, Normandie, France beBee Professionals Temps plein 25 000 € - 35 000 €beBee Professionals recherche un Chercheur de Vente Senior pour rejoindre son équipe à Le Havre.Détails du PosteTitre du Poste : Chercheur de Vente SeniorSalaire: Entre 35.000 € et 50.000 € par an, selon l'expérience.L'équipe Vente de beBee Professionals est en quête d'un professionnel expérimenté pour relever le défi de vendre nos...
-
Les Préfets Et Préfétes Et La Gestion de L'eau
Il y a 7 mois
Noisy-le-Grand, France INRAE Temps plein93160 Noisy le Grand-Campus Descartes de l'Université Gustave Eiffel _ **RETOUR À LA LISTE DES RÉSULTATS** **Présentation INRAE**: L’Institut national de recherche pour l’agriculture, l’alimentation et l’environnement (INRAE) est un établissement public de recherche rassemblant une communauté de travail de 12 000 personnes, avec 272 unités...
-
Chercheur : Recyclage D’aimants Nd-fe-b (H/F)
Il y a 2 mois
Saint-Étienne-du-Rouvray (76), France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 25 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur : Recyclage d’aimants Nd-Fe-B (H/F)** Référence : UMR6634-CHRVUR-058 Nombre de Postes : 1 Lieu de travail : ST ETIENNE DU ROUVRAY Date de...
-
Chercheur Doctorant
Il y a 7 mois
Le Havre, France CESI Temps plein**Scientific context**: The 4th industrial revolution is strongly affected by the massive use of the emerging information and communication technologies such as Robotics, Artificial Intelligence (AI) and eXtended Reality (XR) in pair with the Digital Twin (DT), defined as the high-fidelity virtual model of the physical system in virtual space. One current...
-
Chercheur Culinaire Le Havre
il y a 2 semaines
Le Havre, Normandie, France beBee Professionals Temps plein 22 000 € - 35 000 €À propos de l'entreprisebeBee Professionals, une entreprise passionnée par la cuisine et les expériences gastronomiques, recherche un Chercheur Culinaire pour renforcer son équipe à Le Havre. Nous sommes dans le domaine de la restauration professionnelle depuis plusieurs années et nous avons établi une réputation solide auprès de nos...
