I am*	↓ ↓
E-mail*	↓ ↓

Job Computer science

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

CEA LIST Employment

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

Scientific expertises : Computer science

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

Ref. ABG-140131

2026-09-02

Job

Fixed-term

Junior

Teaching and research

Negociable

Ingénieur·e Backend & Intelligence Artificielle

ELEVARI Employment

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

Scientific expertises : Computer science - Biotechnology

Ref. ABG-139999

2026-08-12

Job

Permanent

Any

Research and Development

> €45,000 and < €55,000 annual gross

Ingénieur·e Algorithmes & Biostatistiques

ELEVARI Employment

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

Scientific expertises : Computer science - Biotechnology

Ref. ABG-139981

2026-08-04

Job

Permanent

Any

Research and Development

> €45,000 and < €55,000 annual gross