Offre d'emploi : Ingénieur.e spécialiste en langages formels
Employeur : INRIA
Organisme de rattachement : INRIA Paris
Versant : Fonction Publique de l'Etat
Métier : Développeuse / Développeur
Catégorie : Catégorie A (cadre)
Statut du poste : Vacant
Nature de l'emploi : Emploi ouvert aux titulaires et aux contractuels
Localisation : Paris (75)
Lieu d'affectation : 2 Rue Simone IFF 75012 Paris
Niveau d'études : Niveau 8 Doctorat/diplômes équivalents
Niveau d'expérience min. requis : Confirmé
Spécialisation : Informatique, traitement de l'information, réseau de transmission des données
Télétravail :  Oui
Management :  Non
Temps plein :  Oui
Date de vacance de l'emploi : 01/06/2022
Compétences attendues : - Expertise dans la conception et l'implémentation de langages de programmation, notamment en expérimentation scientifique (a minima pour les jeunes recrues, un potentiel à acquérir cela)
- Connaissances solides et expérience en développement logiciel :
Connaissance approfondie d'OCaml
Bonne culture générale des langages de programmation (Rust, C, Haskell, C++, Java, Javascript, Python, … )
Maîtrise des outils unix (make, shell, ssh, …)
Architecture logicielle et paradigmes de programmation, génie logiciel, bonnes pratiques et outils de développement logiciel (versioning, documentation, compilation, packaging, …)
Expérience d'utilisation des outils de développement distribués (git, github, solutions d'intégration continue, …)
- Bonne connaissance du fonctionnement interne du compilateur OCaml
- Maîtrise de l'écosystème OCaml
- Expérience de participation à un projet open source d'envergure
- Expérience de refactorisation de code OCaml.
- Expertise technologique pointue sur au moins un des aspects de la conception et l'implémentation de langages de programmation, par exemple : système de types, pattern matching, passes d'optimisations, génération de code machine, …
- Connaissances et expérience en maquettage, prototypage matériels et/ou logiciels
- Capacité à conduire la veille technologique au sein de l'institut
- Capacité à rédiger, publier et présenter en français et en anglais
- Encadrement technique d'ingénieurs.es
Documents à transmettre : L'envoi du CV et d'une lettre de motivation est obligatoire