STAGE DE RECHERCHE · 2026 · PARIS 16e

Reconstruction de types

par résolution de contraintes

Un problème ouvert au croisement de la théorie des types, de l'inférence et de l'ingénierie des compilateurs — dans une société dont les outils font tourner des centaines de projets en production.

Faveod SAS · 3 av. Victor Hugo, 75116 Paris · Encadrement : Akim Demaille

ENJEU SCIENTIFIQUE

Un moteur de types pour un langage multi-cibles

Faveod développe Langeod, un langage sans syntaxe concrète (l'éditeur manipule directement l'AST), compilé vers C#, Java, JavaScript, PHP, Python, Ruby, TypeScript et d'autres. Le système de types doit guider le développeur dans une migration graduelle depuis des environnements dynamiques vers des cibles statiquement typées.

La première implémentation, basée sur l'algorithme de Hindley-Milner, a montré ses limites face aux unions, sous-types et types singletons. La seconde — un moteur de résolution de contraintes de types — est prometteuse mais incomplète.

OBJECTIFS DU STAGE

Trois axes de travail

01 · Compléter le moteur existant

Finaliser le support des structs et tuples via variables de rangées
Consolider le support des types unions (déjà bien avancé)
Compléter le support de la contravariance pour les arguments d’appels de fonction

02 · Étendre les fonctionnalités

Occurrence typing : affinage du type dans les branches conditionnelles
Types singletons : "foo" | "bar", 1 | 2 | 3…
Autres extensions à explorer avec l'équipe

-- Exemple : occurrence typing

if (x IS int) {

-- ici, x : int (affiné depuis int OU string)

x = x * 2

}

03 · Optimiser — voire réécrire

Le moteur actuel est un ordre de grandeur plus lent que l'implémentation Hindley-Milner. Si après optimisation les mesures de performances le demandent, une réécriture en OCaml ou Rust (ou autre) sera envisagée, en parallèle de l’implémentation de référence.

PROFIL RECHERCHÉ

Compétences attendues

Indispensable

Solide formation en théorie des langages et des compilateurs
Connaissance des systèmes de types et de l'inférence
À l'aise avec les formalismes logiques

Bienvenu mais non requis

Expérience avec Ruby (code existant)
Intérêt pour OCaml ou Rust
Appétence pour la publication scientifique

L'ENTREPRISE

Faveod — 19 ans de génération de code en production

Le Faveod Designer V2 est utilisé depuis plus de 16 ans par des intégrateurs majeurs (Sopra Steria, Capgemini…) et des partenaires Faveod pour des grands comptes industriels, publics et de défense.

650+

projets en production

19 ans

d'existence

docteurs dans l'équipe

Clients de référence : SNCF · Engie · Orange · Bouygues · Thales · EDF · Ministère des Armées · Conseil d'État · Bombardier

CONDITIONS DE RÉALISATION

Localisation

Bureaux à proximité de la place de l'Étoile (Paris 16e), très bien desservis par les transports en commun.

Télétravail partiel

L'équipe se retrouve environ deux jours par semaine en présentiel, télétravail le reste du temps.

Rémunération

1300€/mois (M2).
Tickets resto les jours de présentiel.
50% de la carte Navigo annuelle ou mensuelle.

Co-encadrement académique

Encadrement par en collaboration avec un chercheur pour la partie typage.

Publication & suite

Rédaction d'articles scientifiques encouragée. Possibilité d'embauche en CDI à l'issue du stage.

POLITIQUE IA & CODE SOURCE

Protection du code

✓ AUTORISÉ

Outils d'IA conversationnels (Claude, ChatGPT…) pour obtenir de l'assistance sur des points précis et isolés.

Outils en local.

✗ FORMELLEMENT INTERDIT

Outils d'autocomplétion IA avec accès au code (Copilot, Claude Code, Augment, etc.) ou toute communication de l'intégralité du code source de Langeod à des services tiers.

Postuler à ce stage

Envoyez votre CV, relevé de notes et un court message de motivation.

akim.demaille@faveod.com

Faveod SAS · 3 av. Victor Hugo · 75116 Paris