Stage / Mémoire de Master : Portail de Qualité pour la Livraison Assistée par IA

Date de début : février 2027 · Durée : 6 mois
Veuillez inclure vos relevés de notes académiques les plus récents avec votre candidature. Les candidatures soumises sans relevés ne seront pas prises en compte.

Le développement agentique devient la méthode par défaut pour construire des logiciels chez ELCA. Les agents écrivent une part croissante du code, et les architectes examinent désormais bien plus qu'ils n'écrivent. Le goulot d'étranglement a changé : la difficulté est de démontrer que le résultat est sûr à déployer, et qui l'a approuvé. Nos clients (banques suisses, assureurs, administrations publiques et opérateurs d'infrastructures critiques) commencent à demander quelles parties d'un système ont été écrites par une IA, avec quel modèle, et qui les a validées.

Dans ce mémoire de master ou stage de 6 mois débutant en février 2027, vous construirez un portail de qualité pour la livraison assistée par IA : il classifie le risque d'un travail, enregistre la provenance de la sortie de l'IA, nomme les moments où une validation humaine est requise, et vérifie les critères d'acceptation par type d'artefact, mécaniquement autant que possible. Nous voulons quelque chose que les ingénieurs utilisent, pas un document de politique : rapide, capable de bloquer une pull request, et produisant un enregistrement lisible par un client.

Vos tâches

• Étudier l'état de l'art (in-toto, SLSA, Sigstore, SPDX, CycloneDX, OPA/Rego, documentation du règlement européen sur l'IA) et s'appuyer sur des standards établis
• Définir une classification des risques (assisté, supervisé, autonome × réglementé, en production) et les contrôles déclenchés par chaque classe
• Spécifier un modèle de provenance capturant ce qui a été généré par l'IA, avec quel outil et modèle, et qui l'a accepté, automatiquement à partir des commits, métadonnées des pull requests et journaux des agents
• Définir les points de validation humaine et les critères d'acceptation vérifiables par machine par type d'artefact (code, tests, ADR, infrastructure-as-code, documentation), exprimés sous forme d'un schéma YAML versionné
• Rendre le portail exécutable : CLI d'abord, job CI ensuite, avec une auto-vérification de l'agent et un contrôle bloquant de pull request s'exécutant en moins de trois minutes
• Écrire un enregistrement signé du portail à chaque version, gérer les exceptions comme des pull requests revues avec une date d'expiration, et évaluer le portail sur une base de code ELCA réelle (faux positifs, temps d'exécution, friction pour les développeurs)

Ce que nous offrons

• Un environnement dynamique, collaboratif et multiculturel sur plusieurs sites internationaux
• Accès à notre plateforme d'ingénierie agentique, incluant des modèles open-weight de pointe sur l'infrastructure ELCA
• Un travail qui est déployé : le portail est prévu pour devenir partie intégrante du standard de livraison ELCA 2027
• Événements internes de codage tels que hackathons et sessions Brownbag, ainsi que des afterworks mensuels

À propos de votre profil

• Étudiant en master en informatique ou génie logiciel à l'EPFL ou à l'ETH Zürich
• Solides compétences en programmation en Python, TypeScript, Go ou Java ; maîtrise de Git et CI/CD (GitHub Actions, GitLab CI, Azure Pipelines)
• Intérêt pour la sécurité de la chaîne d'approvisionnement, l'analyse statique, la politique en tant que code ou les outils pour développeurs
• Expérience pratique avec des outils de codage agentique (Claude Code, Copilot, Cursor) et avis sur leurs limites
• Capacité à transformer une norme ou un règlement en spécification qu'un ingénieur peut implémenter
• L'anglais est notre langue de travail ; le français ou l'allemand est un plus