Chercheur/chercheuse (Post-doctoral-e) en

il y a 6 jours

Villeurbanne, France Université Grenoble Alpes Temps plein

Type de recrutement:
Poste ouvert en CDD
- Quotité de travail:
100%
- Niveau d'emploi:
A - Chercheur
- Durée du contrat:
1 an
- Localisation:
VERIMAG
Place du Torrent 150
38400 Saint-Martin-d'Hères

Présentation de la structure

Verimag est un laboratoire de recherche en informatique, menant principalement des recherches sur les approches permettant d’obtenir des systèmes embarqués fiables, sûrs et sécurisé, comportant 27 chercheurs et enseignants-chercheurs titulaires.

Ce contrat de recherche est financé dans le cadre du projet Arsène du PERP Cybersécurité qui vise à développer des architectures sécurisées pour le numérique embarqué, utilisant notamment des solutions matérielles basées sur des jeux d'instructions RISC-V. Il se déroulera dans le cadre du lot 3 dont un des axes est le développement de compilateurs capables de générer du code sécurisé, à partir d'annotations fournies par le développeur. Dans ce cadre Verimag développera une variante du compilateur formellement vérifié CompCert avec des mécanismes pour sécuriser le code généré.

Vous travaillerez sous l’autorité de M. Bruno Ferres (MCF UGA), Sylvain Boulmé (MCF G-INP) et David Monniaux (DR CNRS).

Missions principales

Travail usuel de recherche en informatique : bibliographie, développement de prototypes, rédaction d’articles, participation à des conférences, etc.

Activités principales
- Proposer des mécanismes permettant d’insérer des contre-mesures contre les attaques par exécutions transientes
- Implémenter et prouver leur correction fonctionnelle formellement dans le contexte du compilateur formellement vérifié CompCert
- Étudier les garanties de sécurité apportées par les contre-mesures ajoutées
- Proposer une sémantique des exécutions transientes
- Prouver l’adéquation des contremesures proposées par rapport à cette sémantique
- Un programme scientifique plus détaillé est présenté ici:
Compétences attendues
- Connaissance des méthodes formelles et des sémantiques de langages de programmation
- Connaissance des outils de preuve déductive, notamment de Coq ; du fonctionnement de CompCert ; et/ou des attaques transientes sera fortement appréciée
- Savoir faire de la modélisation formelle des sémantiques de langages de programmation et de langage d’assemblage (ISA)
- Connaissance des attaques et des contre-mesures pour s’en protéger
- Savoir utiliser des assistants de preuve et notamment de Coq
- Maîtriser l’anglais
- Savoir rédiger des articles scientifiques et faire des présentations orales des résultats scientifiques
- Etre capable de discuter de questions scientifiques et techniques et travailler en équipe sur celles-ci
- Doctorat informatique souhaité

Rémunération

A partir de 3020€ mensuel brut et en fonction de l’expérience.

  • Chercheur Post-doctoral

    il y a 4 semaines

    Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 1 juillet 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur post-doctoral : Développement de catalyseurs hétérogènes à base de nanoparticules bimétalliques supportées sur silice...

  • Chercheur/chercheuse (Post-doctoral-e) en

    il y a 3 semaines

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 avril 2024 au 30 septembre 2024 - Localisation: Institut des Géosciences de l'Environnement - IGE - Maison Climat Planète 70, rue de la Physique 38400 Saint Martin D'Hères Présentation de la structure L’Institut des...

  • Chercheur Post-doctoral en émulation Neural de

    il y a 4 semaines

    Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 28 juin 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur post-doctoral en émulation neural de modèles de circulation océanique (H/F)** Référence : UMR5001-ALEVIA-034 Nombre de Postes : 1 Lieu de...

  • Chercheur/chercheuse (Post-doctoral-e) en

    il y a 2 semaines

    Villeurbanne, Auvergne-Rhône-Alpes, France Université Grenoble Alpes Temps plein

    Type de recrutement:Poste ouvert en CDD- Quotité de travail:100%- Niveau d'emploi:A - Chercheur- Durée du contrat:Du 01 avril 2024 au 30 septembre 2024- Localisation:Institut des Géosciences de l'Environnement - IGE - Maison Climat Planète70, rue de la Physique38400 Saint Martin D'HèresPrésentation de la structureL'Institut des Géosciences de...

  • Chercheur/ Chercheuse

    il y a 4 semaines

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: 10 mois - Localisation: LJK 700 Avenue centrale 38400 Saint Martin d'Hères Présentation de la structure Le poste sera situé à Grenoble au sein de l'Université Grenoble Alpes en France, et fera partie des groupes de recherche...

  • Chercheur/chercheuse (Post Doctoral) : Science Des

    il y a 4 semaines

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 mars 2024 au 28 février 2025 - Localisation: SIMaP Bât. Phelma B (Recherche) 1130 rue de la Piscine 38610 Gières Présentation de la structure SIMaP -Science et ingénierie des matériaux et des procédés Missions...

  • Chercheur/chercheuse (Post Doctoral) : Science Des

    il y a 2 semaines

    Villeurbanne, Auvergne-Rhône-Alpes, France Université Grenoble Alpes Temps plein

    Type de recrutement:Poste ouvert en CDD- Quotité de travail:100%- Niveau d'emploi:A - Chercheur- Durée du contrat:Du 01 mars 2024 au 28 février 2025- Localisation:SIMaPBât. Phelma B (Recherche) 1130 rue de la Piscine38610 GièresPrésentation de la structureSIMaP -Science et ingénierie des matériaux et des procédésMissions principalesVous mettrez en...

  • Chercheur/chercheuse (Post Doctorat) en Marketing

    il y a 3 semaines

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 septembre 2024 au 31 août 2025 - Localisation: CERAG CETA 150 Rue de la chimie 38610 Gières Présentation de la structure Le CERAG (Centre d'Etudes et de Recherches Appliquées à la Gestion) est l'Unité de Recherche de...

  • Chercheur (H/F) Post-doctoral Sur La Résilience Du

    il y a 2 semaines

    Villeurbanne, Auvergne-Rhône-Alpes, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes:Date Limite Candidature : jeudi 17 août 2023**Informations générales**:**Intitulé de l'offre **:Chercheur (H/F) post-doctoral sur la résilience du microbiome du sol**Référence : UMR5557-BEABIG-016Nombre de Postes : 1Lieu de travail : VILLEURBANNEDate de publication : jeudi 27 juillet 2023Type de...

  • Chercheur/chercheuse (Post Doctorat) en Génie

    il y a 4 semaines

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 septembre 2024 au 30 avril 2025 - Localisation: GIPSA-lab Rue des Mathématiques 11 38400 Saint-Martin-d'Hères Présentation de la structure Le G2ELab et le GISPA-Lab sont deux laboratoires de recherche publics du site...

  • Chercheur/chercheuse (Post-doctorat) en Sismologie

    il y a 6 jours

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 septembre 2024 au 31 août 2026 - Localisation: ISTerre OSUG C 1381 Rue de la piscine 38610 Gières Présentation de la structure Le laboratoire de recherche ISTerre fait partie de l'Observatoire des Sciences de l'Univers (OSU)...

  • Chercheur post-doctoral

    il y a 4 semaines

    Villeurbanne, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Chercheur post-doctoral : Développement de catalyseurs hétérogènes à base de nanoparticules bimétalliques supportées sur silice (H/F) Référence : UMR5128-CHLTHI-014 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication : lundi 10 juin 2024 Type de contrat : CDD Scientifique...

  • Chercheur/chercheuse (Post Doctorat) en

    il y a 3 semaines

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 octobre 2024 au 31 mars 2026 - Localisation: ISTerre OSUG C 1381 Rue de la piscine 38610 Gières Présentation de la structure L’Institut des Sciences de la Terre est une Unité Mixte de Recherche de l’Université Grenoble...

  • Chercheur (Post Doctorat) en Intelligence

    il y a 3 semaines

    Villeurbanne, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 décembre 2024 au 30 novembre 2026 - Localisation: LIG 700 Avenue centrale 38400 Saint Martin d'Hères Présentation de la structure Le LIG rassemble près de 450 chercheurs, enseignants-chercheurs, doctorants et personnels en...

  • Enseignant Chercheur Génie Des Systèmes

    il y a 4 semaines

    Villeurbanne, France CESI Temps plein

    **Être enseignant chercheur chez Cesi, c’est participer à l’innovation et à son appropriation par nos apprenants à travers notre laboratoire LINEACT.**: **Concrètement? - En tant que chercheur, vous êtes partie prenante de l’**innovation de Cesi.** Vous développez les activités de recherches et de partenariats, en lien avec LINEACT CESI et...

  • Enseignant Chercheur Automatisation Et Robotique

    il y a 4 semaines

    Villeurbanne, France CESI Temps plein

    **Être enseignant chercheur chez Cesi, c’est participer à l’innovation et à son appropriation par nos apprenants à travers notre laboratoire LINEACT.**: **Concrètement? - En tant que chercheur, vous êtes partie prenante de l’**innovation de Cesi.** Vous développez les activités de recherches et de partenariats, en lien avec LINEACT CESI et...

  • Enseignant Chercheur Villes, Bâtiments Et

    il y a 4 semaines

    Villeurbanne, France CESI Temps plein

    **Être enseignant chercheur chez Cesi, c’est participer à l’innovation et à son appropriation par nos apprenants à travers notre laboratoire LINEACT.**: **Concrètement? - En tant que chercheur, vous êtes partie prenante de l’**innovation de Cesi.** Vous développez les activités de recherches et de partenariats, en lien avec LINEACT CESI et...

  • Chercheur Post-doc: Mouillage Et Séchage à

    il y a 2 semaines

    Villeurbanne, Auvergne-Rhône-Alpes, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : lundi 11 décembre 2023**Informations générales**:**Intitulé de l'offre **:Chercheur post-doc: mouillage et séchage à l'échelle nanométrique pour la récupération d'énergie (H/F)**Référence : UMR5306-OLIVIN-003Nombre de Postes : 1Lieu de travail :...

  • Chercheur Postdoctorant en Optimisation Pour La

    il y a 2 semaines

    Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 12 juillet 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur postdoctorant en optimisation pour la rénovation énergétique des bâtiments (H/F)** Référence : UMR6158-RODLER-001 Nombre de Postes :...

  • Enseignant Chercheur en Robotique Avancées

    il y a 2 semaines

    Villeurbanne, Auvergne-Rhône-Alpes, France CESI Campus de Lyon Temps plein

    **Description de l'entreprise**:25 campus, 26000 étudiants, alumni... Bienvenue dans une grande école d'ingénieurs qui a fait de la promotion sociale par l'excellence un modèle de réussite. Rejoignez un environnement stimulant où l'esprit d'équipe, la diversité des projets et l'autonomie ne font qu'un.Découvrez un groupe qui a su développer un...