Offre expirée : Nous vous invitons à effectuer une nouvelle recherche

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

92320 Châtillon, France CDD / Intérim / Mission From to US dollars
Publié le 13/02/2019 - REF 66150

Description du poste

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 sûreté 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 sûreté 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 : Raluca DRAGHIS Retrouvez-nous sur la page Facebook Siemens France Emploi et Carrière pour suivre l'actualité RH et rejoignez la communauté Siemens

Présentation de l’entreprise

Présent dans 190 pays dans le monde et en France depuis plus de 165 ans, Siemens est un groupe international spécialisé dans les domaines de l’électrification, de l’automatisation et de la digitalisation. Nous comptons parmi les principaux fournisseurs au monde de technologies à haute efficacité énergétique, qui contribuent à préserver les ressources naturelles. Acteur économique majeur, Siemens France s’engage activement dans les filières stratégiques pour l’industrie française. Nos 6 400 collaborateurs, répartis sur 6 sites industriels et 9 centres de R&D, vivent les valeurs d’excellence, d’innovation et de responsabilité du Groupe au quotidien. Ils sont fiers d'animer Siemens et nous sommes fiers d'eux et de leurs succès.

Avis sur Siemens

3.5

Note globale /329 avis

68%

recommandent l'entreprise

› Voir tous les avis
Rechercher une autre offre
Localisation de l’entreprise
Vous recrutez ?
Diffusez vos offres d’emploi auprès d’une large audience.
Recherchez des talents parmi nos 6,4 millions de membres.
En savoir plus