Chez ST, nous croyons à la puissance de la technologie pour stimuler l'innovation et avoir un impact positif sur les personnes, les entreprises et la société. Nous sommes une entreprise mondiale de semi-conducteurs, et notre technologie avancée ainsi que nos puces constituent la partie invisible du monde dans lequel nous vivons aujourd'hui.
Lorsque vous rejoignez ST, vous faites partie d'une entreprise globale de plus de 115 nationalités et présente dans 40 pays, avec plus de 50 000 créateurs et fabricants de technologies microélectroniques à travers le monde ! Tous ensemble, nous formons une seule et même ST.
Développer des technologies nécessite plus que du talent : il faut des personnes incroyables qui comprennent la culture de collaboration et de respect. Il faut des personnes passionnées, et avec l’envie de bouleverser le statu quo, de repousser les limites et de stimuler l'innovation, tout en libérant leur potentiel.
ST a reçu la certification Top Employer France et le label HappyTrainees 2024 qui nous reconnaissent en tant qu’employeur de référence et démontrent notre engagement à placer l’humain au cœur de nos priorités.
A propos des missions
L'objectif de cette alternance est de contribuer à des travaux de thèses de 2 étudiants concernant les méthodes formelles pour l’injection de fautes, son application à des cas d’études et au développement d'un modèle mathématique probabiliste reposant sur un échantillonnage semi-aléatoire (aléatoire dirigé) afin d'approximer un attaquant réalisant des attaques ciblées par injection de fautes sur un bloc digital de sécurité (tel qu'un bloc d'encryptions AES ou SHA).
En ce qui concerne la partie preuve formelle, vous :
* Contribuerez au développement et à l'intégration de méthodes et d'outils formels et analytiques pour l'évaluation de la sureté fonctionnelle des systèmes digitaux à microprocesseur.
* Travaillerez avec le doctorant afin d’implémenter de nouvelles méthodes d'analyse formelle et d’injection de fautes formelle dans l’outil, les tester et les appliquer à différents blocs numériques allant de la suite de tests académiques à des sous-blocs de microcontrôleurs de qualité automobile industrielle.
* Une partie importante du travail concernera la programmation d’algorithmes relatifs aux méthodes formelles dans un «model-checker» académique.
Pour la partie analyse de sécurité statistique, vous :
* Contribuerez à l’élaboration et l’amélioration du modèle statique d’attaquant existant et participerez, du côté analyse statistique, à diverses analyses d’attaque en sécurité.
* Utiliserez le modèle développé afin de prédire la partie résiduelle des fautes non couvertes par un mécanisme de protection offrant une «surface d’attaque en sécurité».
L’objectif est d'évaluer la sécurité d'un bloc matériel de manière efficace par injection de fautes statistiques ciblées sans avoir à recourir à des méthodes plus systématiques et exhaustives. On s'appuiera sur l'injection de fautes par simulation ou par méthodes formelles afin d’obtenir des résultats expérimentaux.
Cette alternance s’adresse à des étudiants attirés par la programmation avec un goût pour l’algorithmique avancée et les graphes, les aspects théoriques et mathématiques de l’informatique, la logique et la preuve formelle.
Un bon niveau en mathématiques, en particulier en probabilités et statistiques sera indispensable pour ce travail.
Vous serez encadré par des ingénieurs sénior et travaillerez en collaboration avec 2 thésards réalisant leurs thèses sur le sujet.
Durée de l'alternance : 1 ou 2 ans
Liste des compétences:
* Obligatoires:
o Vous êtes en Master 1 ou 2, préparant un diplôme en mathématiques et informatique, et connaissez les sujets suivants:
+ Probabilités et statistiques, lois de probabilités.
+ Mathématiques appliquées, logique booléenne, logique du 1er ordre.
+ Programmation C / C++, STL, programmation objet, Unix, bash, scripting.
+ Cryptographie (AES, …), bases de la sécurité des systèmes digitaux.
+ Génie logiciel, développements logiciels, git / svn.
o Vous parlez, écrivez, lisez couramment l'anglais.
* Souhaitées (non obligatoires) :
o Architecture des systèmes digitaux pour la cryptographie, AES, contre-mesures de sécurité, attaques en sécurité.
o Attaque des systèmes de cryptographie par injection de fautes.
o Sécurité des systèmes digitaux, modèles d'attaquant.
o Théorie des graphes et des automates.
o Structures de données et algorithmes.
o Méthodes et langages formels, vérification de modèle.
o Langages fonctionnels (LISP, Haskell, …).
Nous encourageons tous les candidats et toutes les candidates à postuler même s’ils ne répondent pas à tous les critères de l’offre car nous apprécions les profils variés et offrons des opportunités d’évolution et de formation. La diversité, l'équité et l'inclusion (DEI) font partie de la culture de notre entreprise. Notre vision DEI est : « Chez ST, vous pouvez être la vraie version de vous-même », nous valorisons les contributions de chacun et chacune, et avons une tolérance zéro pour toute forme de discrimination.
Nous rejoindre, c'est aussi opter pour un meilleur équilibre entre vie professionnelle et vie personnelle, et un environnement de travail offrant des opportunités égales. Des groupes de ressources dédiés aux femmes, aux LGBTQIA+, des possibilités d’organisation du travail hybrides font partie des nombreuses initiatives qui font de ST un endroit propice pour le développement de votre carrière.
Pour en savoir plus, visitez st.com/careers
#J-18808-Ljbffr
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.