Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique.

Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, financiers ou pour l’environnement.

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 opportunités d’évolution dans une structure à taille humaine.

POSTE ET MISSION

Au sein de l’activité Modélisation et Preuves, vous travaillerez sur le développement et la maintenance d’outils logiciels sous Linux dans un contexte rigoureux et de haute technicité.

Vous participerez ainsi aux missions suivantes :

• Vous développerez des outils avec des techniques à la pointe :
  • Outils pour appliquer des méthodes formelles, comme des analyseurs syntaxiques/sémantiques, des traducteurs ou des prouveurs
  • Outils dédiés à des projets clients (Eclipse, Java, EMF, Sirius, Maven, …)
  • Outils de tous les jours (scripts Python, shell Unix, Web2py, XSLT, …)
• Vous participerez aux phases de validation et vérification de ces mêmes outils dans un contexte de forte contrainte normative en sûreté de fonctionnement (domaine ferroviaire).

Vous aurez à appliquer des méthodes de travail rigoureuses.

A chaque étape, vous serez encadré(e) par un expert qui vous aidera à appréhender les spécificités des développements critiques et des normes associées.

PROFIL

• Ingénieur de formation grandes écoles ou universités, vous avez une première expérience (stages compris) dans un poste similaire.
• Vous connaissez l’un des langages ou méthodes suivants :
  • Scripts shell, Python, Java, développement sous Eclipse
  • C ou Ada et programmation objet
  • Git ou Mercurial

• Vous êtes complètement à l’aise avec l’anglais technique.
• Idéalement vous connaissez l’un des éléments suivants : développement de plugins Eclipse, techniques intégrées à Eclipse (comme EMF, ATL ou Sirius), XML (schémas, transformations XSLT) ou langage fonctionnel comme OCaml.
• Eventuellement, vous connaissez les normes aéronautiques ou ferroviaires.
• Vous êtes impérativement passionné(e) par le développement d’outils logiciels.
• Vous êtes rigoureux(se), curieux(se) et avez le goût du challenge.

Vous souhaitez 

• Vous épanouir au sein d’une entreprise portant des valeurs d’excellence, de haute technicité et de vraies valeurs humaines.
• Bénéficier d’un encadrement de qualité.
• Développer des compétences recherchées et en évolution permanente.

Alors n’hésitez pas, contactez-nous !

TYPE DE CONTRAT

CDI

LIEU

Aix-en-Provence

REFERENCE DE L’OFFRE

• DEVMOP_A