Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H - Informatique de gestion (H/F) 13 - AIX EN PROVENCE
Offre n° 4581606
Ingénieur Développement Logiciel Model Checking Aix-en-Provence F/H - Informatique de gestion (H/F)
13 - AIX EN PROVENCE - Localiser avec Mappy
Publié le 23 septembre 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 : 38 - 60 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 (H/F)
GROUPAGORA - 13 - Aix-en-Provence
Vous cherchez une société dans laquelle votre sens du service et vos compétences seront reconnus ? Un cadre de travail agréable facilement accessible et pourvu de services de qualité ? Cela fait déjà...
CDI - Temps plein
Publié il y a 20 jours
CDI
Temps plein - (déjà vu)
Ingénieur(e) DevOps - Aix-Marseille - (H/F)
TECH VALLEY - 13 - AIX EN PROVENCE
Le poste : Tech Valley renforce ses équipes de consultants / consultantes. Afin de répondre aux besoins de nos clients et dans le cadre de nos projets d'évolution, nous recrutons un(e) Ingénieur(e)...
CDI - Temps plein
Publié il y a 14 jours
CDI
Temps plein - (déjà vu)
#TALENTINTECH Développeur Java ou Python Fullstack H/F
STAND INNOVA SOLUTIONS - 13 - AIX EN PROVENCE
Nous recherchons pour un client final un Développeur Java ou Python Fullstack à Lyon ou Aix-en-Provence. Ce poste est également ouvert sur format de 100% télétravail ou présentiel sur l'une des deux...
CDI - Temps plein
Publié il y a 2 jours
CDI
Temps plein - (déjà vu)
#TALENTINTECH Team Leader & Développeur Java ou Python Fullstack (H/F)
STAND INNOVA SOLUTIONS - 13 - AIX EN PROVENCE
Nous accompagnons l'un de nos clients, situé à Lyon et Aix-en-Provence, dans le renforcement de son équipe qui est à la recherche d'un Team Leader & Développeur Java ou Python Fullstack. Ce poste...
CDI - Temps plein
Publié il y a 2 jours
CDI
Temps plein - (déjà vu)
Développeur(se) Java / Angular - Aix-Marseille - (H/F)
TECH VALLEY - 13 - AIX EN PROVENCE
Le poste : Tech Valley renforce ses équipes de consultants/consultantes. Afin de répondre aux besoins de nos clients et dans le cadre de nos projets d'évolution, nous recrutons un(e) Développeur(se)...
CDI - Temps plein
Publié il y a 14 jours
CDI
Temps plein - (déjà vu)
Développeur Senior C# / .Net F/H (H/F)
MATEN - 13 - Marseille 1er Arrondissement
Nous recherchons, pour l'un de nos clients spécialisés dans le secteur des moyens de paiement, un(e) Développeur Senior C# / .NET. Vous intégrerez une équipe technique et aurez pour mission...
CDI - Temps plein
Publié il y a 17 jours
CDI
Temps plein - (déjà vu)
Ingénieur études et développement informatique (F/H)
RANDSTAD - 13 - Marseille 15e Arrondissement
Nous recherchons pour le compte de notre client spécialité dans l'énergie un Data Base Administrator Talend (H/F) habilitable secret défense en CDI à Marseille. Conception de bases de données : -...
CDI - Temps plein
Publié il y a 9 jours
CDI
Temps plein - (déjà vu)
#TALENTINTECH Développeur JAVA (H/F)
STAND IPEPPER TALENTS - 13 - AIX EN PROVENCE
Nous sommes une entreprise innovante spécialisée dans le développement de logiciels et solutions informatiques. Avec une équipe passionnée et dynamique, nous travaillons sur des projets stimulants et...
CDI - Temps plein
Publié il y a 8 jours
CDI
Temps plein - (déjà vu)
Ingenieur Devops Kube/CI CD (H/F)
B&WEEZ CONSULTING - 13 - Vitrolles
Rejoignez une équipe dynamique où vous pourrez mettre à profit vos compétences en DevOps et en CI/CD. Vous devrez de travailler avec des équipes développement, qualité et intégration pour concevoir,...
CDI - Temps plein
Publié il y a 6 jours
CDI
Temps plein - (déjà vu)
Apprenti développeur front-end (H/F)
JEHANN - 13 - MARSEILLE 02
France Travail et Dawan s'associent pour le la mise en place d'une POE Apprenti Développeur Front-End (Préparation opérationnelle à l'emploi) pour le poste de « Développeur Front-End » au sein de...
CDD - Temps plein
Publié il y a 30 jours
CDD
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)