Robert Half International France

Big data / BI

★★★★★

Ingénieur méthodes formelles

13 décembre Languedoc-Roussillon, Montpellier CDI 38000€ - 45000€ an

Editeur de logiciels d'audit et d'optimisation automatique des calculs numériques, notre partenaire, 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 de la Défense. Afin d'accompagner sa croissance sur le marché de l'IA nous recrutons un ingénieur de recherche en Méthodes Formelles (H/F).


Missions

Doté d'une très bonne connaissance des différents techniques de méthodes formelles, vous avez une solide expérience en mathématiques appliqués à l'informatique. Sous la direction de deux docteurs en informatique, du directeur technique, et en collaboration avec deux autres ingénieurs de recherche et de développement, vous allez contribuer à la définition de méthodologies de preuves formelles dans le domaine de l'intelligence artificielle. Une grande pédagogie et le goût du travail de R&D en équipe, vous aiderons à réaliser en mode agile ce programme.

Il/Elle réalise et documente une veille technologique et technique sur les techniques de méthodes formelles

Il/Elle conduit des travaux d'expérimentation de méthodes formelles applicables dans le cadre du projet

Il/Elle réalise développe des prototypes et aide à former l'équipe dessus

Il/Elle travaille pour concevoir des méthodes formelles innovantes sur des réseaux de neurones

Il/Elle participe à l'intégration de ses techniques innovantes au sein des outils existants

Identifier, lire et documenter des articles scientifiques

Participer à des colloques et faire des présentations

Conception et preuve de méthode formelles

Développement logiciel et expérimentation

Il/Elle travaille avec l'équipe et les industriels pour valider et déployer les solutions développées sur des cas réels

Participer à la réalisation de bancs de tests

Réaliser des documentations à destination de l'équipe

Participation à des études de cas industrielles


Profil du candidat

Compétences Générales

* Expérience dans la conception d'outils à base de méthodes formelles (interprétation abstraite préférablement)
* Conception rigoureuse de logiciels à base de méthodes formelles (algorithme, documentation, tests)

Capacité à innover et s'approprier des domaines scientifiques nouveaux

Compétences Technique

* Langue anglaise maîtrisée (lu/écrit)
* Maîtrise des langages : Python, C/C++, Ocaml
* Notions d'intelligence artificielle
* Maîtrise de Linux, git, LaTeX

Compétences transverses

* Rigueur scientifique
* Curiosité et goût pour l'innovation transversale
* Pédagogie et capacité rédactionnelle

Travail en équipe en mode agile

Autres offres Etudes / Développement

Retour à la liste