Ingénieur Méthodes Formelles F/H

Offre n° 8277189

{'libelleLieuTravail': 'Aix-en-Provence', 'libelleCommuneLieuTravail': 'Aix-en-Provence', 'codeDepartementLieuTravail': '13', 'syntheseLieuTravail': '13 - Aix-en-Provence'}

Contrat
CDI - Contrat travail

Salaire
A partir de 32 k€ brut annuel

Qualification
Cadre

Expérience
Débutant accepté

Description du poste

Descriptif du poste:\n\nCLEARSY recherche un(e) ingénieur(e) avec mission de :\nModéliser et développer des systèmes et des logiciels avec les méthodes formelles ;\nRéaliser des outils associés.\n \nLe contexte :\nCentre de compétences et de formation sur la méthode B, CLEARSY :\n* Participe à des projets de recherche et développement dans le domaine du formel ;\n* Développe les outils liés à l'industrialisation de la méthode B (Atelier B)\n* Réalise des projets industriels intégrant l'utilisation des méthodes formelles ;\n* Développe des outils de programmation formelle pour ses systèmes propres.\n\nProfil recherché:\n\nIngénieur(e) de formation Bac + 5, grandes écoles ;\nPassionné(e) de mathématiques et d'informatique ;\n\nVous vous reconnaissez dans nos valeurs que vous aurez à cœur d'entretenir. Les postes à CLEARSY sont évolutifs et polyvalents.

Employeur

CLEARSY

\nCe Que Nous Vous Proposons\n* Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes.\n* Une montée en compétences via : des formations multiples, un encadrement par des experts, un travail collaboratif et un mentor pour les moins expérimentés et les changements d'activités\n* Des opportunités nombreuses : les expériences se complètent et se diversifient en fonctions des projets et des envies : développe