Chercheur/chercheuse (Post-doctoral-e) en

Il y a 4 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 5 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, Auvergne-Rhône-Alpes, France CNRS Temps plein

    Présentation du posteLe CNRS recherche un chercheur en écologie microbienne pour rejoindre son équipe de recherche. Le candidat sélectionné travaillera sur les risques sanitaires associés aux microbiomes urbains de Lyon.Objectifs du projetLe chercheur sera chargé d'évaluer les risques pour la santé humaine associés aux microbiomes de surface...


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

    Présentation du posteLe CNRS recherche un chercheur expérimental pour rejoindre l'équipe du Laboratoire des Solides Irradiés. Le candidat sélectionné travaillera sur un projet financé par l'Agence Nationale de la Recherche, axé sur la thermoélectricité.MissionsLe chercheur sera chargé de l'élaboration des échantillons par...


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

    Rôle et responsabilités Le chercheur en écologie environnementale sera chargé de coordonner les activités de terrain et de biologie moléculaire du projet ALIQUOT. Les missions de ce chercheur incluent la coordination et l'implémentation des protocoles d'échantillonnage et de biologie moléculaire, ainsi que le soutien aux expérimentations du...


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

    Chercheur en écologie environnementaleLe chercheur en écologie environnementale sera chargé de participer aux campagnes d'échantillonnage en milieu aquatique du projet ALIQUOT et de participer aux expérimentations en mésocosmes. Il devra également être capable de travailler en groupe et à distance.CompétencesLe candidat doit avoir une bonne...


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

    Présentation du posteLa société CESI recherche un chercheur en automatisation et robotique avancée pour rejoindre son équipe de passionnés.Compétences requisesDoctorat en robotique ou domaine connexeExpérience en conception et animation de formationsCapacité à travailler en mode projet et à commercialiser des formationsConnaissance de la robotique...


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

    Présentation du posteLa mission LINEACT de CESI est à la recherche d'un chercheur en urbanisme durable pour rejoindre son équipe.Compétences requisesDoctorat en urbanisme ou domaine connexeQualification en section CNU 27 et/ou 60Expérience en recherche et développement dans les domaines suivants : systèmes urbains durables, ville et bâtiments du...

  • Chercheur en Sciences de l'Eau

    il y a 3 semaines


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

    Offre de thèse : étude de la chimie interfacialeLe CNRS recherche un(e) chercheur(e) pour étudier la chimie interfaciale. Le candidat devra mener des études pour explorer cette chimie interfaciale et quantifier cette formation d'oxydants atmosphériques.Les outils de pointe disponibles incluent la modélisation numérique, l'analyse du milieu...


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

    Rejoignez notre équipe de chercheurs en innovation éducative chez CESIEn tant qu'enseignant chercheur chez CESI, vous serez en charge de concevoir et d'animer des formations innovantes dans votre domaine d'expertise. Vous travaillerez en mode projet pour développer des activités de recherche et de partenariats avec notre laboratoire...


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

    Rejoignez notre équipe de chercheurs en ingénierie numérique chez CESIEn tant qu'enseignant chercheur, vous serez partie prenante de l'innovation de CESI. Vous développerez les activités de recherches et de partenariats, en lien avec LINEACT CESI et veillerez à leur appropriation auprès des apprenants.Vous serez responsable de :La conception...


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

    Rejoignez notre équipe de chercheurs-enseignantsÀ CESI, nous sommes à la recherche d'un chercheur-enseignant passionné pour rejoindre notre équipe de spécialistes en urbanisme durable. En tant que chercheur-enseignant, vous serez chargé de développer les activités de recherche et de formation en lien avec notre laboratoire LINEACT.MissionNos...


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

    Qui sommes-nous ?Cesi est une entreprise leader dans le domaine de l'innovation et de l'appropriation technologique. Nous sommes à la recherche d'un Enseignant Chercheur pour rejoindre notre équipe et contribuer à notre mission.Quels sont vos rôles et responsabilités ?En tant qu'Enseignant Chercheur, vous serez en charge de la conception et de...


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

    Présentation de l'offreLe CNRS recherche un chercheur en physique des particules expérimentale pour rejoindre son équipe de recherche. Le candidat idéal possèdera une solide formation en physique expérimentale et une expérience significative dans l'analyse de données.MissionsLe chercheur travaillera dans le groupe CMS de l'IP2I Lyon et...


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

    Présentation du poste La mission LINEACT CESI propose un poste d'enseignant chercheur en urbanisme durable. Compétences requises Doctorat en ingénierie urbaine ou domaine connexe Qualification en section CNU 27 et/ou 60 Expérience dans les thèmes de recherche suivants : les systèmes urbains durables, la ville et les bâtiments du futur, la...


  • 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, Auvergne-Rhône-Alpes, France CESI Temps plein

    Rejoignez notre équipe de chercheurs à CESIEn tant qu'enseignant chercheur, vous serez partie prenante de l'innovation de CESI et développez les activités de recherches et de partenariats en lien avec LINEACT CESI.ResponsabilitésConcevoir et animer des formations dans votre domaine d'expertiseTravailler en mode projet pour développer les...


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

    Présentation du posteLa mission LINEACT CESI est une opportunité unique pour un chercheur en automatisation et robotique avancée de rejoindre une équipe passionnée et de contribuer à l'innovation dans le domaine de l'ingénierie numérique.Compétences requisesDoctorat en automatisation et robotique avancéeExpérience en conception et animation de...

  • Chercheur universitaire

    il y a 3 semaines


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

    Rejoindre l'équipe de recherche et formation de CESIEn tant qu'enseignant chercheur chez CESI, vous serez partie prenante de l'innovation et de l'appropriation par nos apprenants à travers notre laboratoire LINEACT.Vous aurez la responsabilité de concevoir et d'animer des formations dans votre domaine d'expertise, tout en étant...