Vous êtes*	↓ ↓
E-mail*	↓ ↓

Emploi Informatique

Post-doc Researcher in Formal Modeling of Clock Glitch Attacks for Security Verification of Processors

CEA LIST Emploi

Grenoble , Auvergne-Rhône-Alpes , France

Research context. Embedded processors are increasingly deployed in security-critical applications, making their protection against physical attacks a major challenge. Among these threats, clock glitch attacks remain a powerful and accessible fault ...

Expertises scientifiques : Informatique

Mots clés : Hardware security, Clock glitch attacks, Fault injection, Formal verification, RISC-V, Secure processors, Embedded systems, RTL analysis

Ref. ABG-140131

02/09/2026

Emploi

CDD

Junior

Enseignement et recherche

A négocier

Ingénieur·e Backend & Intelligence Artificielle

ELEVARI Emploi

Paris , Ile-de-France , France

Le produit repose sur plusieurs moteurs algorithmiques propriétaires SAGE (génération automatisée de stratégies de gating à partir d'un panel d'anticorps et de bases de connaissances curées), DE ...

Expertises scientifiques : Informatique - Biotechnologie

Ref. ABG-139999

12/08/2026

Emploi

CDI

Niveau d'expérience indifférent

Recherche et Développement

> 45 et < 55 K€ brut annuel

Ingénieur·e Algorithmes & Biostatistiques

ELEVARI Emploi

Paris , Ile-de-France , France

Elevari repose sur plusieurs moteurs algorithmiques propriétaires : SAGE (génération de stratégies de gating), DELPHI (conception de panels), PRISM (auto-gating et identification des populations cellulaires) et ARTEMIS (rep ...

Expertises scientifiques : Informatique - Biotechnologie

Ref. ABG-139981

04/08/2026

Emploi

CDI

Niveau d'expérience indifférent

Recherche et Développement

> 45 et < 55 K€ brut annuel