Siemens Careers

Thèse CIFRE : Optimisation du code source pour les systèmes critiques de sécurité (H/F)

Chatillon, France
Information Technology

Job Description

Groupe international, leader dans le secteur de la haute technologie, Siemens intervient dans les domaines de l’électrification, de l’automatisation et de la digitalisation et compte parmi les principaux fournisseurs de technologies à haute efficacité énergétique au monde.

La division Mobility de Siemens propose une gamme complète de produits, solutions et services destinés à améliorer la mobilité des voyageurs.

Contexte :

Les travaux de la thèse seront effectués à Siemens Mobility, qui produit les systèmes de contrôle automatique (logiciels et matériels) pour une grande partie des métros automatiques dans le monde. Etant critiques en termes de sécurité, nos systèmes sont certifiés selon la norme EN 50126/50128/50129. Pour atteindre le niveau de sureté le plus élevé de cette norme, SIL 4, sur une partie de nos composants, nous utilisons des méthodes formelles basés sur la démonstration mathématique et la théorie des langages de programmation. Nous sommes parmi les pionniers dans ce domaine, comme le démontrent nos travaux sur la ligne 14 du métro parisien.

L’utilisation des méthodes formelles dans les grands projets industriels pose de défis intéressants sur l’optimisation du temps d’exécution du logiciel.

Vos missions :

Le but de la thèse sera de développer des méthodes d’optimisation des performances des logiciels qui ne sacrifient pas les garanties de sureté déjà prouvées pour ce logiciel quand il s’exécute en version non-optimisée. Le/la doctorant(e) devra implémenter les méthodes découvertes et préparer un dossier de certification selon les normes sécuritaires pour cette implémentation. Le/la doctorant(e) obtiendra une confirmation indépendante sur le caractère innovant de ses résultats (sous forme de publication scientifique ou brevet) et soutiendra sa thèse.

Ce CDD de 3 ans, basé à Châtillon (92), est à pourvoir dès que possible.

Le début de la thèse est conditionné par le succès des procédures de Qualification (ED STIC, pole 4, Université Paris-Saclay) et admission ZRR (si besoin).

Le partenaire académique sera LIX, Ecole Polytechnique, Palaiseau.

La direction scientifique de la thèse sera assurée par Danko Ilik (Siemens Mobility) et Lutz Strassburger (LIX). Le manager en sera Fabrice Lassia (Siemens Mobility).

Les atouts pour réussir :

Le/la doctorant(e) devrait préférablement déjà avoir une formation ou une première expérience dans 2 de ces 3 sujets :

  • Thèmes de la théorie des langages de programmation, tels que programmation fonctionnelle, construction des compilateurs ou sémantique des langages de programmation ;
  • Formalisation des preuves, c’est-à-dire connaissance des assistants de preuve (Coq, Agda, Isabelle, etc.) ;
  • Architecture des ordinateurs, plus précisément, connaissances sur les mécanismes d’exécution spéculative des CPU (comportement du cache, prédiction des branches, etc.).

Besoin d’aide pour postuler ? 

Consultez notre FAQ : http:/www.siemens.fr/recrutement-faq-candidats

Si cette offre vous intéresse, merci de postuler en ligne.

Responsable du recrutement : Coline Humbert

Retrouvez-nous sur la page Facebook Siemens France Emploi et Carrière pour suivre l'actualité RH et rejoignez la communauté Siemens



Job ID: 66150

Organisation: Mobility

Experience Level: Student (Not Yet Graduated)

Job Type: Full-time





Can't find what you are looking for?

Let's stay connected