- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Paris
- Détail de l'offre 9930644
Ingénieur Développement Logiciel Model Checking Paris F/H - Informatique de gestion (H/F) 75 - PARIS 01
Offre n° 9930644
Ingénieur Développement Logiciel Model Checking Paris F/H - Informatique de gestion (H/F)
75 - PARIS 01 - Localiser avec Mappy
Publié le 04 juillet 2024
Descriptif du poste: Systerel développe sa propre gamme de produits dédiés notamment à la modélisation et la vérification formelle de systèmes de signalisation ferroviaire, en particulier les postes à enclenchements. Systerel Smart Solver est un produit basé sur du model checking et permettant de faire de la preuve formelle de propriétés de sécurité. Déjà diffusé et utilisé par des acteurs majeurs de l'industrie ferroviaire, Systerel a ainsi pour ambition de traiter la grande majorité des postes à enclenchements du parc français. Associé à des traducteurs et outils spécialisés, Systerel Smart Solver offre une large gamme de services tels que : * L'analyse statique de code, * La preuve de propriétés, * La recherche de contre-exemples, * La génération automatique de tests (fonctionnels/structurels). A travers le poste qui vous est proposé, vous intégrerez l'équipe qui développe le produit Systerel Smart Solver en collaboration étroite avec l'équipe de modélisation. Le model checking est en perpétuelle évolution et intègre régulièrement de nouveaux algorithmes ou techniques permettant d'améliorer les performances des outils. Vous aurez la responsabilité de ces évolutions en assurant l'ensemble du cycle de développement, des phases de spécification aux phases de tests et validation jusqu'à la livraison aux utilisateurs finaux. Vous évoluerez dans l'environnement technique suivant : * Langage : C (principalement), OCaml, Python, Go, Rust, * OS : Linux, * Gestion de configuration : Mercurial. Profil recherché: * Vous êtes titulaire d'une thèse sur les méthodes formelles ou les solveurs SAT et/ou ingénieur spécialisé dans le développement logiciel et l'algorithmique. * Vous disposez d'une première expérience d'au moins 3 ans (thèse comprise) dans le développement logiciel orienté méthodes formelles ou à forte composante algorithmique. * Vous êtes complètement à l'aise avec l'anglais technique. * Vous êtes très rigoureux, curieux et avez le goût du challenge. Rejoindre Systerel, c'est : * Adhérer à des valeurs telles qu'excellence, engagement, bienveillance et équité, * Bénéficier d'un encadrement de qualité, * Un parcours professionnel personnalisé et évolutif : parrainage, mobilité interne, formations. * Un package de rémunération et des avantages attractifs : 27 jours de congés, RTT, intéressement, plan d'épargne d'entreprise, compte épargne temps, pack famille, tickets restaurant, * Du télétravail et une véritable recherche d'équilibre vie pro / vie perso, * Un engagement RSE fort. Alors n'hésitez plus à nous faire parvenir votre candidature !
- Type de contrat
-
Contrat à durée indéterminée
Contrat travail - Salaire
- Salaire brut : 40 - 65 k€ brut annuel
Profil souhaité
Expérience
- Expérience exigée de 3 An(s)Cette expérience est indispensable
Informations complémentaires
- Qualification : Cadre
- Secteur d'activité : Conseil en systèmes et logiciels informatiques
Entreprise
SYSTEREL
Notre cœur de métier est le développement de systèmes critiques principalement pour le ferroviaire, l'industrie ou l'énergie. Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d'impact financier ou environnemental. Nous recherchons de nouveaux collaborateurs motivés par les challenges techniques et l'envie d'apprendre dans un environnement stimulant et innovant. Notre croissance offre de réelles oppor...
D'autres offres peuvent vous intéresser :
(déjà vu)
Développeur Java Fullstack Confirmé / Senior (H/F)
TALENT BRUT RECRUTEMENT - 78 - MONTIGNY LE BRETONNEUX
Talent Brut recrute un(e) Développeur-(se) Java Fullstack en CDI à Montigny-le-Bretonneux (78). Votre rôle dans l'équipe dépendra de vos différentes expériences et de vos affinités (développement,...
CDI - Temps plein
Publié il y a 7 jours
CDI
Temps plein(déjà vu)
Développeur/Développeuse Cobol - CERGY (H/F)
HN SERVICES - HN FORMATION - HN RECRUTEM - 95 - Cergy
Descriptif du poste Dans un environnement multiplateforme et multi clients, vous interviendrez au sein d'une équipe géré en mode Agile (une dizaine de personnes). En fonction du plan de charges et...
CDI - Temps plein
Publié il y a 5 jours
CDI
Temps plein(déjà vu)
Formateur/développeur en informatique (H/F)
CMS INFORMATIC - 91 - VILLEJUST
-> Profil recherché : Nous recherchons un double profil développeur et formateur de niveau Bac+2 à Bac+3, pour animer des formations sur les outils informatiques Microsoft Office (de l'initiation à...
CDI - Temps plein
Publié il y a 25 jours
CDI
Temps plein(déjà vu)
PHP Développeur / Développeuse (CAC40) (H/F)
MAMAALINK - 92 - NANTERRE
Mamaalink est une agence d'intégration qui permet à ses talents de travailler pour des grands comptes avec l'opportunité de basculer chez le client à partir de 6 mois de mission. Missions du poste...
CDI - Temps plein
Publié il y a 18 jours
CDI
Temps plein(déjà vu)
Développeur Full Stack H/F (H/F)
OPCO MOBILITES - 92 - BOULOGNE BILLANCOURT
Dans le cadre d'un contrat à durée indéterminée, intégré(e) à la Direction des Projets Informatiques, vous assurez en collaboration avec les autres membres de l'équipe les missions suivantes : -Le...
CDI - Temps partiel
Publié aujourd'hui
CDI
Temps partiel(déjà vu)
Développeur C#, Java (H/F)
APPROACH PEOPLE RECRUITMENT - 78 - Voisins-le-Bretonneux
Nouveau projet de recrutement pour l'un de nos clients spécialisés dans la digitalisation des procédés industriels - société engagée vers la transition digitale de ses clients. Notre client conçoit...
CDI - Temps plein
Publié il y a 24 jours
CDI
Temps plein(déjà vu)
Développeur .NET (H/F)
AK RECRUTEMENT - 92 - Courbevoie
Notre client est un Editeur de logiciel de gestion d'entreprise ; Filiale d'un grand groupe spécialisée en IT. Vous intégrez une équipe de développeurs spécialisés en technologies Microsoft. En...
CDI - Temps plein
Publié il y a 10 jours
CDI
Temps plein(déjà vu)
Ingénieur / Ingénieure d'étude et développement informatique (H/F)
92 - LEVALLOIS PERRET
Nous recherchons pour le groupe et ses filiales, dans le cadre de notre forte croissance, des ingénieurs en système d'information de formation bac+5. Les langues suivantes doivent être parfaitement...
CDI - Temps plein
Publié il y a 21 jours
CDI
Temps plein(déjà vu)
Développeur / Développeuse full-stack (H/F)
DATASGUARD - 92 - COURBEVOIE
Vous intégrerez une entreprise où l'innovation et la qualité du produit sont au cœur de l'activité. Vous rejoindrez le pôle expertise et développement en tant que développeur Full Stack. En tant que...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein(déjà vu)
Tech Lead Java Spring (H/F)
TALENT BRUT RECRUTEMENT - 78 - MONTIGNY LE BRETONNEUX
Talent Brut recrute un Tech Lead Java en CDI pour son client situé à Montigny-le-Bretonneux (78). Poste Votre rôle dans l'équipe dépendra de vos différentes expériences et de vos affinités...
CDI - Temps plein
Publié il y a 4 jours
CDI
Temps plein
Découvrez d'autres services web
Réussir son CV et sa lettre de motivation
Suscitez l’intérêt du recruteur et donnez-lui envie de vous rencontrer.
B.A.BA Entretien
Apprenez à préparer votre prochain entretien.
Informations sur le marché du travail
Accédez aux informations et statistiques sur ce métier.
Simulateurs d'aides et allocations en cas de reprise d'emploi
Estimez vos futures ressources financières sur les 6 prochains mois.
- Voir plus de services (Emploi store)