Alternance - contribution à des travaux d’injection de fautes formelle et d’analyse statistique[...]

ALTERNANCE - Contribution à des travaux d’injection de fautes formelle et d’analyse statistique de sécurité

Join us to apply for the ALTERNANCE - Contribution à des travaux d’injection de fautes formelle et d’analyse statistique de sécurité role at STMicroelectronics France.

STMicroelectronics, a global leader in semiconductors, believes in harnessing the power of technology to drive innovation and make a positive impact on people, businesses, and society. With a presence in 40 countries and over 50,000 microelectronics professionals worldwide, we are committed to fostering a culture of collaboration, respect, and innovation.

This apprenticeship aims to support two students' thesis work on formal methods for fault injection, their application to case studies, and the development of a probabilistic mathematical model based on semi-random sampling to simulate targeted fault injection attacks on digital security blocks such as AES or SHA encryptions.


Responsibilities include:

* Developing and integrating formal and analytical methods and tools for evaluating the functional safety of digital microprocessor systems.
* Collaborating with doctoral candidates to implement new formal analysis and fault injection methods, testing, and applying them to various digital blocks, from academic test suites to industrial-grade microcontrollers.
* Programming algorithms related to formal methods within academic model checkers.


Security analysis responsibilities include:

* Enhancing existing attacker models and conducting security attack analyses.
* Using developed models to predict residual fault coverage by protection mechanisms, aiming to evaluate the security of hardware blocks efficiently through targeted statistical fault injection via simulation or formal methods.

This role is ideal for students interested in programming, advanced algorithms, graph theory, theoretical computer science, logic, and formal proofs. A strong background in mathematics, especially in probabilities and statistics, is essential. You will be mentored by senior engineers and collaborate with two PhD students working on related theses.

Duration of the apprenticeship: 1 or 2 years.


Required skills:

* Currently enrolled in Master 1 or 2 in mathematics and computer science, with knowledge of:
o Probabilities and statistics
o Applied mathematics, Boolean logic, first-order logic
o C/C++, STL, object-oriented programming, Unix, bash, scripting
o Cryptography (AES, etc.), digital system security basics
o Software engineering, version control (git/svn)
* Fluent in English (reading, writing, speaking)


Desired but not mandatory skills:

* Digital system architecture for cryptography, AES, countermeasures, security attacks
* Cryptography attack methods, fault injection techniques
* Digital system security, attacker models
* Graph theory and automata
* Data structures and algorithms
* Formal methods and model checking
* Functional programming languages (LISP, Haskell, etc.)

We encourage all candidates to apply, even if they do not meet every criterion, as we value diverse profiles and offer growth and training opportunities. Diversity, equity, and inclusion are core to our culture, and we strive to create an environment where everyone can thrive.

#J-18808-Ljbffr