Emplois actuels liés à Chercheur/chercheuse (Post-doctoral-e) en - Villeurbanne - Université Grenoble Alpes

  • Enseignant Chercheur Permanent

    il y a 3 jours

    Villeurbanne, France Institut Paul Bocuse Temps plein

    **PROFESSOR F/H **Dans le cadre de son développement stratégique et de sa croissance, l'Institut Paul Bocuse, Ecole internationale de fort potentiel pour un poste de - **Enseignant chercheur permanent en Entrepreneuriat F/H (Entrepreneuriat, stratégie)** - **Enseignant chercheur permanent en Marketing F/H (digital, vente, commercialisation,...

  • Chargé.e de Coordination Des Etudes Doctorales

    il y a 1 semaine

    Villeurbanne, France INSTITUT NAT SCIENCES APPLIQUEES LYON Temps plein

    Missions Assurer et contrôler les actes de gestion du Doctorat de l’INSA Lyon, membre de l'Université de Lyon. Assurer le suivi et l’accompagnement des doctorant(e)s dans leur parcours de formation (~600 doctorant/an). Assurer l’interface avec les 8 Ecoles Doctorales co-accréditées. - Coordination & suivi des doctorants (~600/an dont ~150...

  • Enseignant Chercheur Génie Des Systèmes

    il y a 7 jours

    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 Btp

    il y a 2 semaines

    Villeurbanne, France CESI Campus de Lyon Temps plein

    **Description de l'entreprise**: **Quelques mots sur CESI**: Créé depuis 1958, CESI est un acteur majeur dans le domaine de l'enseignement supérieur et de la formation professionnelle; **Nous intervenons dans 8 grands domaines de formation**: Informatique et Numérique, Industrie et Service, Bâtiment, Management, QSE, Ressources Humaines, Marketing...

  • Chercheur de Fuite H/F

    il y a 1 semaine

    Villeurbanne, France Eau du Grand Lyon Temps plein

    La Régie Eau du Grand Lyon gère le service d'eau potable de la Métropole Lyonnaise (4 000 Km, 420 000 abonnés). Le service Distribution a pour mission d'assurer l'exploitation et la maintenance du réseau d'eau potable afin de garantir la continuité de service aux différents usagers. L'équipe recherche de fuite est composée de 8 chercheurs de fuite...

  • Chercheur de Fuite H/F

    il y a 3 semaines

    Villeurbanne, France Eau du Grand Lyon Temps plein

    La Régie Eau du Grand Lyon gère le service d'eau potable de la Métropole Lyonnaise (4 000 Km, 420 000 abonnés). Le service Distribution a pour mission d'assurer l'exploitation et la maintenance du réseau d'eau potable afin de garantir la continuité de service aux différents usagers. L'équipe recherche de fuite est composée de 8 chercheurs de fuite...

  • Chef de bureau DRH des personnels contractuels, enseignants et chercheurs

    il y a 1 semaine

    Villeurbanne, Auvergne-Rhône-Alpes, France Université Claude Bernard Lyon 1 Temps plein

    À propos de nousL'Université Claude Bernard Lyon 1 est une université pluridisciplinaire. Elle déploie son activité sur 13 sites. Elle compte près de étudiants/étudiantes et emploie 4 900 personnels. L'Université Lyon 1 propose, depuis plus de 50 ans, une formation d'excellence et une recherche de pointe. En tant qu'employeur responsable,...

  • Chercheur de Fuite H/F

    il y a 1 semaine

    Villeurbanne, France Eau du Grand Lyon Temps plein

    Eau du Grand Lyon est l'établissement public chargé de la gestion de l'eau potable sur le territoire de la métropole de Lyon. Notre mission : produire et distribuer près de 220 000 m3 d'eau potable chaque jour auprès de 1,4 million d'habitants, dans un souci constant de garantir la qualité de service auprès des usagers. Face aux enjeux...

  • Enseignant-chercheur en Bio-informatique

    il y a 1 semaine

    Villeurbanne, France CPE Lyon Formation Continue et Recherche Temps plein

    **CPE Lyon Recrute : Enseignant-Chercheur en Bio-informatique / Bioprocédés F/H (CDI)** CPE Lyon est une école d’ingénieurs qui forme des ingénieurs dans 2 filières : chimie et les procédés d’une part (170 par an, 2 spécialités), sciences et technologies du numérique d’autre part (200 ingénieurs par an, 4 spécialités). Toutes les...

  • Chef de bureau DRH des personnels contractuels, enseignants et chercheurs

    il y a 22 heures

    Villeurbanne, France Université Claude Bernard Lyon 1 Temps plein

    Chef de bureau DRH des personnels contractuels, enseignants et chercheurs (H/F) À propos de nous L'Université Claude Bernard Lyon 1 est une université pluridisciplinaire. Elle déploie son activité sur 13 sites. Elle compte près de 46 000 étudiants/étudiantes et emploie 4 900 personnels. Mission de manager l'équipe de 8 gestionnaires de coordonner...

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