Ingénieur·e d'Études et d'Application Spécialiste en Méthodes Formelles H/F Serma Ingénierie
Paris - 75 CDIOffre d’une ESN
-
Cette offre est publiée par une ESN. Il ne s'agit pas de l'entreprise dans laquelle vous travaillerez au quotidien.
- 🏠 Télétravail partiel
- Bac +5
- Secteur informatique • ESN
Les missions du poste
Votre mission
SafeRiver (www.saferiver.org) 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 (RATP, SBB), des industriels des domaines du ferroviaire (Hitachi Rail, Thalès, TheSignallingCompany), de l'automobile (Renault SA, Veoneer) ou des clients du domaine gouvernemental et Défense (ANSSI, DGA).
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é.
Le profil recherché
Vos atouts
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.
Enfin, SafeRiver a mis en place des conditions de travail flexibles (télétravail) afin de combiner travail en équipe et prise en compte des contraintes courantes, notamment de déplacement.
Les postes sont ouverts à différents niveaux d'expérience professionnelle : débutants, 2 à 5 ans d'expérience.
Bienvenue chez Serma Ingénierie
À propos de SERMA
Rejoignez SafeRiver, filiale de SERMA Safety and Security, et contribuez à l'alliance entre sécurité et cybersécurité pour des systèmes embarqués fiables !
Fondée en 2005, SafeRiver s'est donnée pour mission de proposer des services de conseil en sécurité et cybersécurité pour les systèmes basés sur des logiciels. À l'ère où les défis en matière de sécurité se conjuguent avec ceux de la cybersécurité, nous sommes à la pointe de l'innovation.
Avec l'ouverture croissante des systèmes embarqués, l'utilisation de composants open-source, et la sensibilité accrue aux attaques, nous aidons nos clients à naviguer dans cette complexité, tout en maîtrisant les coûts de vérification et de certification.
Chez SafeRiver, nous développons et déployons des moyens méthodologiques et des composants pour aider nos clients à atteindre un niveau de confiance plus élevé dans les systèmes qu'ils développent.
Notre efficacité repose sur :
- Des services innovants avec un engagement envers les résultats
- Une large application des méthodes formelles (preuves et/ou analyse statique)
- Des investissements en recherche et développement à travers des projets collaboratifs ou financés en interne
- Des plateformes propriétaires basées sur des outils puissants (SafeRiver Toolkit)
Pourquoi choisir SafeRiver ?
- Une expertise reconnue en sécurité et cybersécurité
- Des projets innovants qui font la différence
- Un environnement de travail flexible et dynamique
- Des opportunités d'évolution professionnelle et de formation
- Une culture d'entreprise axée sur la collaboration et l'innovation Ensemble, faisons évoluer la sécurité des systèmes embarqués et relevons les défis de demain !
En rejoignant SafeRiver, vous intégrerez une équipe passionnée, où votre expertise sera valorisée et où vous aurez l'opportunité de travailler sur des projets novateurs. Ensemble, nous affrontons les défis d'un monde numérique en évolution constante, tout en développant vos compétences dans un environnement stimulant et collaboratif.
En intégrant SafeRiver, vous intégrez plus largement le groupe SERMA : un Groupe solide et indépendant, en pleine croissance sur ses marchés, et expert des métiers de l'électronique et de la microélectronique, de l'énergie, de la cybersécurité et des télécoms.
Hellowork a estimé le salaire pour ce métier à Paris
Le recruteur n'a pas communiqué le salaire de cette offre mais Hellowork vous propose une estimation (fourchette variable selon l'expérience).
Estimation basée sur les données INSEE et les offres d’emploi similaires.
Estimation basse
40 500 € / an 3 375 € / mois 22,25 € / heureSalaire brut estimé
55 500 € / an 4 625 € / mois 30,49 € / heureEstimation haute
68 800 € / an 5 733 € / mois 37,80 € / heureCette information vous semble-t-elle utile ?
Merci pour votre retour !
- Paris - 75
- CDI
Créez une alerte
Pour être informé rapidement des nouvelles offres, merci de préciser les critères :
Finalisez votre candidature
sur le site du recruteur
Créez votre compte pour postuler
sur le site du recruteur !
sur le site du recruteur
sur le site du recruteur !
Ces offres pourraient aussi
vous intéresser
Recherches similaires
- Job Ingénieur
- Job Logistique
- Job Cariste
- Job Préparateur de commande
- Job Manutentionnaire
- Job Magasinier
- Job Agent de quai
- Entreprises Logistique
- Entreprises Ingénieur
- Entreprises Paris
- Job Teletravail
- Job Numérique
- Job Conseil
- Job Cybersecurite
- Job Developper
- Job Cdi Paris
- Job Teletravail Paris
- Job Niveau bac Paris
- Job Demain Paris
- Job Cyber Securite Paris
{{title}}
{{message}}
{{linkLabel}}