← Retour aux offres

INGÉNIEUR DÉVELOPPEMENT Analyse Statique de Programmes

Postée le 10 août

Lieu : Montpellier (Hérault) · Contrat : CDI · Rémunération : 30 000,00€ à 45 000,00€ /an selon expérience. €

Société : Numalis

Éditeur de logiciels d’audit et d’optimisation automatique de calculs numériques, Numalis, est une entreprise innovante qui se développe rapidement dans un contexte international pour des grands comptes de l’aéronautique, l’aérospatial et la Défense. Afin d’accompagner sa croissance nous recrutons un ingénieur développement (H/F).

Au sein d’une équipe dynamique d’ingénieurs et de chercheurs nous vous proposons de travailler sur les outils d’analyse statique de programmes que développe Numalis. Ces outils permettent d’analyser la fiabilité numérique et de faire de la synthèse de code pour améliorer les performances de programmes réalisant des calculs au sein des systèmes les plus critiques.

Description du poste

Missions
· Vous développez des analyseurs statiques de code C/C++/Ada par interprétation abstraite
· Vous maintenez une veille scientifique et technique sur le sujet
· Vous participez aux collaborations avec des laboratoires de recherche afin de préserver une avance technologique
· Vous transmettez à vos collègues votre expertise et les formez à votre savoir-faire

Activités et Tâches
· Conception et manipulation de représentations intermédiaires de programmes
· Implémentation de domaines abstraits classiques et conception de domaine spécifiques pour les flottants
· Rédaction de tests fonctionnels et de documentation
· Lecture d’articles scientifiques et documentation
· Formation interne et transfert de compétences
· Participation à l’activité via des méthodes agiles

Temps de travail
· CDI, 35 heures hebdomadaires
· Des aménagements horaires sont possibles

Lieu d’exercice
· Le poste est à pourvoir à Montpellier au sein de l’équipe technique (4 personnes)
· Le poste est à pourvoir à partir du 3 septembre 2018
· Des missions ponctuelles peuvent être réalisées dans le cadre de conférences ou d’interventions sur des sites client

Profil recherché

Compétences Générales
· Souhaité : Analyse statique par interprétation abstraite (Bac+5 souhaité ou expérience professionnelle sur le sujet)
· À défaut : Logique, déduction automatique, vérification ou modélisation formelle, mathématiques discrètes, algèbre de processus ou typage
· Architecture des compilateurs, théorie des graphes
· Conception rigoureuse d’analyseurs statiques à base de méthodes formelles (algorithme, documentation, tests)
· Capacité à innover et s’approprier des domaines scientifiques nouveaux

Compétences Techniques
· Maîtrise avancée de langages fonctionnels (OCAML)
· Bonnes connaissances des langages C/C++, Python
· Maîtrise de Linux, outils de versionnage de code

Compétences transverses
· Entraide, ouverture d’esprit et qualité relationnelle
· Rigueur, pédagogie et travail en équipe
· Curiosité et goût pour l’innovation transversale
· Lecture de spécifications de langages

Voir le fichier joint

Pour postuler :

Pour répondre à cette offre merci d’adresser votre CV et lettre de motivation à
recrutement@numalis.com