Publisher
source

Guillaume Hiet

1 year ago

Design and formal verification of security mechanisms against fault-injection attacks CentraleSupélec in France

Degree Level

PhD

Field of study

Computer Science

Funding

not provided

Deadline

Expired

Country flag

Country

France

University

CentraleSupélec

Suggested positions

Publisher
source

Mines Saint-Etienne

Country flag

France

PhD opportunity in France on Orchestrating Concurrent AI Services on Constrained Industrial Edge Devices . The project focuses on how multiple AI applications can share limited computing resources on industrial edge hardware such as NVIDIA Jetson, MCUs, and NPU-enabled devices, reducing the need for additional hardware while improving efficiency. Research directions include AI/ML resource orchestration and scheduling, Edge AI and distributed intelligence, Federated Learning for industrial cybers...

Computer Science
Electrical Engineering
Information Technology
+1 more

1 month ago

Publisher
source

Inria

Country flag

France

PhD opportunity at Inria, France in Computer Science for research on predictable cache memories for real-time embedded multicore systems . The project is part of the ANR PRCI CoDaLi collaboration with Inria Rennes and RPTU , focusing on offline and runtime techniques to precisely control cache contents in multicore architectures for embedded real-time systems. The research aims to improve memory placement and cache behavior by leveraging cache-block lifespan to reduce replacement of useful block...

Computer Science
Electrical Engineering
Real-time Systems
+1 more

3 weeks ago

Publisher
source

Centre National pour la Recherche Scientifique et Technique

Country flag

France

CNRS / Institut Pluridisciplinaire Hubert Curien (IPHC), Strasbourg, France, is recruiting a postdoctoral researcher in particle physics for the PICSEL team and the FCC-SEED research programme. The position focuses on vertex detector R&D for FCC-ee , including the development and testing of a novel detector concept based on curved silicon sensors and Monolithic Active Pixel Sensors (MAPS) , especially curved MIMOSIS sensors. The successful candidate will contribute to laboratory characterization...

Computer Science
Electrical Engineering
Materials Science
+1 more

2 weeks ago

Publisher
source

Laboratoire pour l'Utilisation des Lasers Intenses

Country flag

France

Laboratoire d'Optique Appliquée (LOA / CNRS) in Palaiseau, France is hiring a Postdoc for a two-year project in laser wakefield acceleration and flying focus in the ultra-short, sub-15 fs regime. The research focuses on numerical modelling and particle-in-cell (PIC) simulations , with close connection to experiments carried out by the team. This is a strong fit for candidates interested in plasma physics, laser-plasma interaction, computational physics, and advanced accelerator concepts. Applica...

Computer Science
Electrical Engineering
Plasma Physics
+2 more

4 weeks ago

Publisher
source

Jean Martinet

Centre National pour la Recherche Scientifique et Technique

Country flag

France

The UMAI (Ultra-Low Power Multimodal Artificial Intelligence with Spiking Neural Networks) industrial chair is starting, and a CNRS postdoctoral position is open in neuromorphic computing . The position is associated with i3S/CNRS and IMRA Europe S.A.S. in Sophia Antipolis, France . The research focus is on spiking neural networks , ultra-low power AI , and multimodal artificial intelligence , making it a strong fit for candidates interested in computer science, electrical engineering, and relat...

Computer Science
Electrical Engineering
Mathematics
+2 more

1 month ago

Keywords

Computer Science
Electrical Engineering
Microarchitecture
Hardware Engineering
Formal Methods
Security And Privacy
Computer Security
Hardware Security

About this position

A PhD position is available at CentraleSupélec in Rennes, France, as part of the TwinSec national research project, focusing on hardware/software security. The research will address the design and formal verification of security mechanisms to protect against fault-injection attacks, with key areas including formal verification, hardware/software contracts, countermeasures for fault injection, and microarchitecture security.

The project is supervised by Guillaume Hiet (CentraleSupélec), Damien Couroussé (CEA), and Mathieu Jan (CEA), and is affiliated with the SUSHI research team and IRISA Lab. Applicants should have skills in hardware design (Verilog/VHDL) or formal methods (Coq, SMT solvers), and an interest in hardware security and fault attacks.

Prior experience is a plus but not required. The start date is before the end of 2025, and there is an option for a Master's internship before the PhD. For more information and application instructions, see the provided link or contact the supervisors directly.

What's required

Applicants should have a strong background in hardware design (Verilog/VHDL) or formal methods (such as Coq or SMT solvers). Interest in hardware security and fault attacks is required; prior experience in these areas is a plus but not mandatory. Candidates should be motivated and able to work on the design and formal verification of security mechanisms. Degree requirements are not explicitly stated but a relevant master's degree is typically expected for PhD entry.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.

Professors

Assistant Professor

University Name
Country flag

France

Research Interests

Cybersecurity

Industrial Automation

Computer Security

Hardware Security

Formal Methods