Chercheur/chercheuse (Post-doctoral-e) en

Il y a 6 mois


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/ Chercheuse

    Il y a 6 mois


    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...


  • Villeurbanne, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Chercheur post-doctorant en chimie organique H/F Référence : UMR5278-ANITLI-002 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication : lundi 18 novembre 2024 Type de contrat : Chercheur en contrat CDD Durée du contrat : 12 mois Date d'embauche prévue : 6 janvier 2025 Quotité de...


  • 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...


  • 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...


  • 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...


  • Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 9 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur post-doctorant en chimie organique H/F** Référence : UMR5278-ANITLI-002 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de...

  • Chercheur de Conception

    il y a 7 jours


    Villeurbanne, Auvergne-Rhône-Alpes, France Groupe Lactalis Temps plein

    Rôle et Responsabilités">En tant que Chercheur de Conception, vous rejoindrez l'équipe Groupe Lactalis, leader mondial des produits laitiers. Vous contribuerez à la création de concepts innovants dans le domaine de la nutrition santé et sportive.Vous travaillerez en étroite collaboration avec l'équipe R&D pour développer des formules et des packs...

  • Chercheur Postdoctoral

    il y a 1 mois


    Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 12 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur postdoctoral : caractérisation électrique multi-échelle H/F** Référence : UMR5270-VIRLAG-015 Nombre de Postes : 1 Lieu de travail :...


  • Villeurbanne, Auvergne-Rhône-Alpes, France CESI Temps plein

    L'École Nationale Supérieure d'Ingénieurs du Céan (CESI) recherche un chercheur-enseignant spécialisé en ingénierie et outils numériques pour rejoindre son équipe de passionnés.Description du posteVous serez chargé de la conception et de l'animation de formations dans votre domaine d'expertise. Votre capacité à travailler en mode projet est...


  • Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 16 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F chercheur en biologie végétal** Référence : UMR5557-BEABIG-030 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication : lundi...

  • Chercheur de projets senior

    il y a 3 semaines


    Villeurbanne, Auvergne-Rhône-Alpes, France Demathieu et Bard Temps plein

    Notre équipe commerciale est à la recherche d'un Chercheur de projets senior pour renforcer notre développement commercial. Dans ce rôle, vous détecterez en amont les opérations en vous appuyant sur votre réseau et celui déjà existant de l'entreprise. Vous développerez et fidéliserez votre portefeuille à travers la prospection de...


  • Villeurbanne, France INRAE Temps plein

    63122 Saint Genès Champanelle _ **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 de recherche, de service et...

  • Chercheur (H/F)

    Il y a 2 mois


    Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 6 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur (H/F) - Synthèse et caractérisation de Matériaux nanoporeux MOF** Référence : UMR5256-DAVFAR-038 Nombre de Postes : 1 Lieu de travail...


  • Villeurbanne, France CNRS Temps plein

    Informations générales Intitulé de l'offre : H/F chercheur en biologie végétal Référence : UMR5557-BEABIG-030 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication : lundi 25 novembre 2024 Type de contrat : Chercheur en contrat CDD Durée du contrat : 12 mois Date d'embauche prévue : 6 janvier 2025 Quotité de travail :...


  • Villeurbanne, France CPE Lyon Formation Continue et Recherche Temps plein

    _**CPE Lyon, école d’ingénieurs, **_ - **associée à l’Université Claude Bernard Lyon 1**_ RECRUTE**:Enseignant-Chercheur en Sécurité - Réseaux F/H (CDI)** CPE Lyon est une école d’ingénieurs qui forme des ingénieurs dans 2 filières : la chimie et les procédés d’une part (150 ingénieurs par an, 2 spécialités), les sciences et...


  • Villeurbanne, France CESI Temps plein

    Le poste proposé La présentation 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 veillez à leur appropriation auprès des apprenants. Dans votre domaine d’expertise, vous êtes en charge de la conception...

  • Chercheur postdoctoral

    il y a 1 mois


    Villeurbanne, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Chercheur postdoctoral : caractérisation électrique multi-échelle H/F Référence : UMR5270-VIRLAG-015 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication : jeudi 21 novembre 2024 Type de contrat : Chercheur en contrat CDD Durée du contrat : 12 mois Date d'embauche prévue : 1...


  • Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : samedi 5 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur H/F en chimie inorganique de nanostructures de Pd** Référence : UMR5615-ARNBRI0-002 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date...


  • Villeurbanne, France CPE Lyon Temps plein

    Descriptif du poste **Contexte du poste**: CPE Lyon renforce son équipe pédagogique et recrute un(e) enseignant-chercheur en sécurité des réseaux et cloud. Vous serez rattaché(e) au Directeur de la filière Sciences et Technologies du Numérique et au coordinateur du domaine Réseaux et Télécommunications. **Activités d enseignement**: Dans le...


  • Villeurbanne, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 31 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Doctorant en Ecologie Microbienne** Référence : UMR5557-VERROD-001 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication : jeudi...