Ingénieur d'Études et d'Application Spécialiste en Méthodes Formelles H/F
Parce que nous sommes une communauté passionnée qui évolue dans les domaines de la sûreté de fonctionnement et de la cybersécurité (intégration, pentest, gouvernance des risques, Security Operations Center (SOC)).
Notre mission fondamentale est de garantir que les produits et systèmes que nous traitons sont robustes, fiables et résistants aux cyberattaques, qu'elles proviennent de l'extérieur de l'entreprise ou de failles internes majeures.
La technicité est ancrée dans notre ADN. Rejoindre SERMA Safety and Security, c'est plonger au coeur de projets innovants à forte composante technique, ce qui nous a valu d'obtenir le statut de premier laboratoire mondial en évaluation des critères communs ainsi que des qualifications et certifications prestigieuses telles que CESTI, PASSI, SESIP, FIPS, SBMP, etc.
Notre équipe de plus de 200 collaborateurs excelle dans la sécurisation des systèmes d'information, des systèmes embarqués, des systèmes industriels et des systèmes IoT pour des secteurs variés tels que l'aéronautique, le ferroviaire, l'automobile, la défense, le médical, la banque, le luxe, et bien d'autres.
Chez SERMA, nous croyons en l'épanouissement professionnel. Notre culture d'entreprise repose sur un management de proximité, créant une atmosphère conviviale à taille humaine.
En rejoignant SERMA Safety and Security, vous intégrez plus largement le Groupe SERMA qui rassemble 1300 collaborateurs actifs dans les domaines des technologies électroniques, des systèmes embarqués et des systèmes d'information.
Avec des implantations en France, en Europe et aux États-Unis, le Groupe offre un terrain fertile pour développer vos compétences vous ouvre les portes vers des opportunités d'évolution de carrière.
Tu partages notre passion pour l'innovation et la technologie ? Tu souhaites intégrer une équipe engagée ? Alors tu es au bon endroit !
Nous attendons avec impatience de te rencontrer et de découvrir comment toi aussi tu pourrais enrichir l'aventure SERMA !
A bientôt !
SafeRiver a rejoint le groupe Serma
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 oeuvre de méthodes et outils de vérification formelle, ce qui permet de répondre aux exigences de niveau d'assurance élevé.
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 :
- 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.)
- Méthodes de vérification formelle de modèles (e.g. model checking, preuve)
- 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 CyberSécurité sont des compétences recherchées
Experience : entre 1 et 10 ans