Ingénieur Méthodes formelles (H/F) CDD de 1 an (CDI), Palaiseau
Rejoignez Thales, un leader mondial en haute technologie, dans le centre de recherche Thales Research & Technology à Palaiseau. Nous recherchons un(e) Ingénieur Méthodes formelles pour contribuer au développement de technologies innovantes dans le domaine de la sûreté et de la sécurité.
Votre mission principale sera d'utiliser les méthodes formelles pour produire des artefacts de certification des systèmes Thales, tels que satellites, cartes à puces, et avionique. Vous définirez des propriétés de sûreté ou de sécurité directement sur le code logiciel (C, Ada, etc.) ou matériel (SystemVerilog / RISC-V). Vous développerez également des connaissances sur les applications industrielles des méthodes formelles et collaborerez avec des institutions extérieures sur des projets communs.
Le poste offre une opportunité unique de conjuguer recherche scientifique de haut niveau et applicabilité industrielle, dans un environnement innovant et inclusif. Vous participerez à un projet stimulant au sein d'une équipe spécialisée, avec des possibilités d'évolution et de développement professionnel.
Profil recherché : compétences en méthodes formelles, expérience en développement logiciel ou matériel, et intérêt pour la recherche appliquée. Plus de détails sont disponibles dans le descriptif complet du poste.
#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.