Postdoc - Conception matérielle pour l'approximation de f(x) mathématiques

Mission

Le poste est financé dans le cadre du projet, CAMELIA, impliquant plusieurs partenaires dont le CEA, l‘INRIA et différents laboratoires académiques. Le programme CAMELIA (Composants pour l'Accélération Matérielle Et Logicielle de l’IA) se concentre sur le développement de composants d’accélération IA évolutifs et modulaires, ainsi que leur environnement logiciel associé. Il vise à créer des accélérateurs spécialisés basés sur les chiplets et l’intégration 2.5D/3D qui ciblent des fonctions clés pour exécuter des modèles d’IA, en utilisant une approche conjointe de co-conception matériel/logiciel/application. En anticipant les avancées technologiques à la fois matérielles et logicielles, le programme vise à réaliser des gains de performance significatifs - notamment en matière d’efficacité énergétique - par rapport aux solutions actuelles du secteur basées sur des GPU ou des NPU.

Plus précisément, il vise la conception de puces dédiées à l’accélération de fonctions clés (calcul tensoriel, calcul creux, gestion dynamique de basse précision), leur intégration dans des systèmes sur puce modulaires, et l’optimisation de la pile logicielle associée pour la compilation, orchestration et développement d’applications. Au fur et à mesure que le projet mûrira, il intégrera également des contraintes liées aux coûts, à la sûreté, à la sécurité et à l’impact environnemental.

Travaux au sein de l’IETR

Les fonctions d’activation jouent un rôle fondamental dans les modèles d’IA modernes comme les CNN, LLM et Transformers. Elles introduisent de la non-linéarité dans les réseaux, permettant d’apprendre des relations complexes et d’éviter les limitations des modèles linéaires. Elles contrôlent le flux de gradients (évitant les problèmes de vanishing ou exploding), normalisent les sorties et activent/désactivent des neurones pour spécialiser le réseau. Leur choix dépend de la tâche. Sans elles, les modèles d’IA ne pourraient ni généraliser ni apprendre efficacement.

Ces fonctions d’activation sont basées sur différentes fonctions mathématiques telles que ReLU (Rectified Linear Unit), Sigmoid, Tanh (Tangente Hyperbolique), Softmax, Leaky, GELU (Gaussian Error Linear Unit)

L’objectif des travaux de recherche dans le cadre de ce post-doc est de proposer une unité spécifique dédiée à l’évaluation efficace des différentes fonctions mathématiques présentes au sein des modèles d’IA. Cette unité spécifique permettra d’approximer tout type de fonction mathématique et sera un compromis entre la latence de l’évaluation, les ressources mémoire et la complexité matérielle de l’unité.

Profil

Le·a candidat·e devra posséder un doctorat et développer des activités de recherche dans le domaine de l’arithmétique. Il·elle devra avoir des connaissances et des compétences parmi les domaines suivants :

• Arithmétique pour les systèmes embarqués
• Arithmétique virgule fixe et flottante,
• Approximation de fonction
• Intelligence artificielle
• Maitrise des différents modèles d’intelligence artificielle
• Maitrise des frameworks de mise en œuvre de modèles
• Conception matérielle
• Architecture des systèmes numériques
• Langage de description matérielle,
• Maitrise des flots de conception ASIC/FPGA

Constitution du dossier :

Les candidatures (lettre de motivation, CV) devront être adressées au plus tard pour le 15/10/2026.

Les candidat·es retenu·es seront invité·es à un entretien le 22/10/2026.

Informations complémentaires :

• Prise de poste : 02/11/2026
• Rémunération forfaitaire ~ 2400€ Net mensuel
• Contrat : CDD de 18 mois
• Poste ouvert aux contractuels

Environnement et qualité de vie au travail

• Télétravail
• Organisation de la semaine de travail sur 4,5 à 5 jours
• Organisation du cycle de travail : option possible de 35h à 37,5h
• 45 jours de congés annuels + RTT possible selon rythme horaire
• Fermeture de l’établissement : 3 semaines fin juillet/début août et 2 semaines à Noël
• Restaurant CROUS accessible avec tarification variable en fonction du salaire
• Participation aux frais de transport - l'INSA Rennes est labellisé Mobil’Employeur par Rennes Métropole
• Comité d’action sociale proposant des activités culturelles, sportives et sociales

Nos recrutements sont fondés sur les compétences, sans distinction d’origine, d’âge ou de genre et tous nos postes sont ouverts aux personnes en situation de handicap.