Chercheur/chercheuse (Post-doctoral-e) en
Il y a 6 mois
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 pleinType 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 post-doctorant en chimie organique H/F
il y a 1 mois
Villeurbanne, France CNRS Temps pleinInformations 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...
-
Enseignant Chercheur Génie Des Systèmes
Il y a 7 mois
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 7 mois
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 6 mois
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-doctorant en Chimie Organique
il y a 1 mois
Villeurbanne, France CNRS Temps pleinCette 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 pleinRô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 pleinCette 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 :...
-
Chercheur-enseignant en ingénierie et outils numériques
il y a 4 semaines
Villeurbanne, Auvergne-Rhône-Alpes, France CESI Temps pleinL'É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...
-
(H/F) Chercheur en Biologie Végétal
il y a 4 semaines
Villeurbanne, France CNRS Temps pleinCette 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 pleinNotre é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...
-
Chargé (E) D'évaluation Conjointe de La Qualité
Il y a 6 mois
Villeurbanne, France INRAE Temps plein63122 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 pleinCette 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...
-
H/F chercheur en biologie végétal
il y a 4 semaines
Villeurbanne, France CNRS Temps pleinInformations 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 :...
-
Enseignant-chercheur en Sécurité
Il y a 6 mois
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 pleinLe 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 pleinInformations 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...
-
Chercheur (H/F) en Chimie Inorganique de
Il y a 3 mois
Villeurbanne, France CNRS Temps pleinCette 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...
-
Enseignant-chercheur en Sécurité
Il y a 6 mois
Villeurbanne, France CPE Lyon Temps pleinDescriptif 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...
-
(H/F) Doctorant en Ecologie Microbienne
Il y a 3 mois
Villeurbanne, France CNRS Temps pleinCette 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...