Ingénieur Méthodes Formelles

Clearsy System
Lyon

CLEARSY recherche un(e) ingénieur(e) avec mission de :

  • Modéliser et développer des systèmes et des logiciels avec les méthodes formelles ;
  • Réaliser des outils associés.
Le contexte :
  • Centre de compétences et de formation sur la méthode B, CLEARSY
  • Participe à des projets de recherche et développement dans le domaine du formel
  • Développe les outils liés à l'industrialisation de la méthode B (Atelier B)
  • Réalise des projets industriels intégrant l'utilisation des méthodes formelles
  • Développe des outils de programmation formelle pour ses systèmes propres
Ingénieur(e) de formation Bac + 5, grandes écoles. Passionné(e) de mathématiques et d'informatique. Vous vous reconnaissez dans nos valeurs que vous aurez à cœur d'entretenir. Les postes à CLEARSY sont évolutifs et polyvalents.

Publié le 2025-07-31

Emplois Recommandés

Avocat H/F Assurance Construction

Titan Partners
Lyon

Le poste : L'un de nos clients, un cabinet d'avocats à taille humaine et en pleine croissance, spécialisé en droit des assurances / construction, recherche un Avocat H/F pour compléter ses équipes…

Voir les Détails
Publié le 2025-06-23

Médecin spécialisé (F/H) en Médecine vasculaire / Angiologie

Hopital Saint Joseph Saint Luc
Lyon

À propos de nous Ouvert et accueillant, l'Hôpital Saint Joseph Saint Luc situé au cœur de la ville de Lyon, en bordure du Rhône, exerce une mission de service public sur l'ensemble de ses activités mu…

Voir les Détails
Publié le 2025-06-17

Projeteur IG REVIT H/F

Lyon

Description de l'offre Notre équipe en pleine expansion, recherche un nouveau Projeteur IG REVIT H/F : c'est peut-être vous ! Votre mission si vous l'acceptez : - Réaliser et vérifier des p…

Voir les Détails
Publié le 2025-07-01

Junior Strategy Consultant - Private Equity H/F

INDEFI GROUP
Lyon

Who we are: INDEFI is a fast-growing strategy consulting firm that serves financial investors (private equity specialists, generalist asset managers, wealth managers, etc.). Established in 2007, w…

Voir les Détails
Publié le 2025-07-26

Développeur Fullstack .Net Angular H/F

Michael Page
Lyon

Entreprise de Services Numériques (ESN) à taille humaine, comptant 120 collaborateurs, cette société en forte croissance se distingue par son organisation en entreprise libérée, favorisant autonomie e…

Voir les Détails
Publié le 2025-08-09

Project management office (H/F) (IT)

Amiltone
Lyon

Vos missions ? En tant que PMO (H/F), vous serez en charge des missions suivantes: - Coordonner l'ensemble des interlocuteurs afin d'assurer la cohérence du projet. - Gérer le budget et être force d…

Voir les Détails
Publié le 2025-08-09

Conseiller clientèle banque (H/F)

Manpower
Lyon

Manpower LYON BANQUE ASSURANCE MUTUELLE recherche pour son client, un acteur du secteur bancaire, un Conseiller clientèle banque (H/F) Envie d'être au contact des clients et de développer votre carriè…

Voir les Détails
Publié le 2025-07-23

Responsable de projets DATA f/h

Pulse
Lyon 9e

Vous voulez imPULSEr un nouvel élan à votre carrière ? Nous recherchons notre futur(e) Chef(fe) de projets Data expérimenté(e) ! Le poste : Au cœur d'une équipe agile, vous prenez les rênes de proje…

Voir les Détails
Publié le 2025-07-24

Chef de projet EPM H/F

Klee Group
Lyon

Rejoins Klee Performance, cabinet spécialisé dans le domaine des solutions de pilotage de la performance d'entreprise ! Il y a 20 ans, Marie-Christine, Marie et Karine décident de rassembler une éq…

Voir les Détails
Publié le 2025-07-26

Stage Assistant Identité Visuelle/Graphiste H/F

Carré Blanc
Lyon

Stage Assistant Identité Visuelle/Graphiste H/F Créée en 1984, la société Carré Blanc est le spécialiste du linge de maison, leader sur son marché en termes de réseau avec près de 200 points de ve…

Voir les Détails
Publié le 2025-07-23