Ingénieur Méthodes Formelles H/F
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
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.
Vous :
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.