Ingénieur d’études et d’application spécialiste en Méthodes formelles H-F

SERMA Safety and Security; Palaiseau, Nantes; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Une entreprise innovante dans le domaine de la sécurité et de la cyber-sécurité recherche des talents motivés pour renforcer son équipe. Ce poste vous offre l'opportunité de travailler sur des systèmes embarqués critiques, en mettant en œuvre des méthodes de vérification formelle et en développant des compétences en sûreté de fonctionnement et sécurité fonctionnelle. Vous serez immergé dans un environnement dynamique où votre expertise contribuera à la sécurité des systèmes de transport et industriels. Si vous êtes passionné par la technologie et souhaitez faire une différence dans un secteur en pleine expansion, cette opportunité est faite pour vous.

Qualifications

• Formation en informatique avec une expertise en vérification et validation de systèmes.
• Maîtrise des langages formels et des méthodes de vérification formelle.

Responsabilités

• Développer des compétences en sûreté de fonctionnement et cyber sécurité.
• Implémenter des méthodes de vérification formelle pour garantir la sécurité des systèmes.

Connaissances

Langages de modélisation de systèmes

Vérification formelle de modèles

Analyse statique de code

Formation

Formation en informatique fondamentale

Niveau bac+5 ou plus

Description du poste

SafeRiver est une société d’expertise reconnue dans les domaines de la sûreté de fonctionnement, la safety et la cyber-sécurité des systèmes embarqués critiques et de leurs interactions avec les infrastructures. Ses clients sont des opérateurs de systèmes de transport, des industriels des domaines du ferroviaire, de l’automobile ou des clients du domaine gouvernemental et Défense.

SafeRiver a développé un ensemble de services à forte valeur ajoutée dans le domaine de la sécurité et Cyber Sécurité des systèmes embarqués en se fondant sur la mise en œuvre de méthodes et outils de vérification formelle, ce qui permet de répondre aux exigences de niveau d’assurance élevé.

Profil et compétences

Afin de renforcer et développer notre activité, nous recherchons des personnes motivées ayant une formation initiale en informatique fondamentale (sémantique des langages, compilation, langages formels) et de niveau bac+5 ou plus, et souhaitant acquérir une maîtrise des métiers liés à la Vérification et Validation de Systèmes, et une expertise en Sûreté de Fonctionnement, Sécurité Fonctionnelle ou Cyber Sécurité.

Compétences techniques souhaitées pour le poste :

1. Langages de modélisation de systèmes, avec si possible une connaissance des langages formels de description de ces systèmes (HLL, SDL, Lustre, B, etc.)
2. Méthodes de vérification formelle de modèles (e.g. model checking, preuve)
3. Analyse statique de code (interprétation abstraite, exécution symbolique)

Les compétences Métier que vous pourrez développer en Sûreté de Fonctionnement, Sécurité Fonctionnelle et Cyber Sécurité sont des compétences recherchées.