Software Ingénieur: Keystone Project (Machine-Verified LLM Inference) — EPFL
- Lieu
- Lausanne
- Contrat
- full-time
- Publié
- Hier
Vue d’ensemble du poste
Mission
Le projet Keystone, une collaboration financée par l'ARIA entre l'EPFL et l'Imperial College London, vise à construire un moteur d'inférence ML formellement vérifié, démontrant que l'IA peut aider à rendre les systèmes vérifiés compétitifs avec des systèmes unifiés en termes d'effort de développement, de fonctionnalités et de performance.
Ses missions comprennent la conception et la mise en œuvre de composants d'inférence vérifiés, la formalisation de la sémantique du noyau GPU, le développement de workflows d'ingénierie des preuves assistées par l'IA et la publication de spécifications, d'épreuves et d'objets vérifiés.
- Mission
- Le projet Keystone, une collaboration financée par l'ARIA entre l'EPFL et l'Imperial College London, vise à construire un moteur d'inférence ML formellement vérifié, démontrant que l'IA peut aider à rendre les systèmes vérifiés compétitifs avec des systèmes unifiés en termes d'effort de développement, de fonctionnalités et de performance.
- L'expérience préalable de la vérification formelle est la bienvenue, mais elle n'est pas requise : un ingénieur de systèmes solide ayant la motivation d'apprendre la technologie d'assistance à la preuve va prospérer dans ce rôle. Principales fonctions et responsabilités
Responsabilités principales
- L'expérience préalable de la vérification formelle est la bienvenue, mais elle n'est pas requise : un ingénieur de systèmes solide ayant la motivation d'apprendre la technologie d'assistance à la preuve va prospérer dans ce rôle. Principales fonctions et responsabilités
Détails supplémentaires
- L'expérience préalable de la vérification formelle est la bienvenue, mais elle n'est pas requise : un ingénieur de systèmes solide ayant la motivation d'apprendre la technologie d'assistance à la preuve va prospérer dans ce rôle. Principales fonctions et responsabilités
- Contribuer à la diffusion de sources ouvertes et s'engager auprès de leurs communautés d'utilisateurs
- Diplôme supérieur en informatique ou en enseignement considéré comme équivalent; Expérience dans le domaine
- Fort sens du service et esprit d'initiative
- Possibilités de formation continue et de perfectionnement professionnel Excellentes conditions de travail
- Voyages financés pour la collaboration entre Lausanne et Londres, et pour des conférences
- Seules les demandes soumises par le biais de la plateforme en ligne sont prises en considération. On vous demande de fournir:
- Une brève lettre d'accompagnement (PDF, jusqu'à 2 pages)
- Un CV, comprenant des liens vers des contributions de source ouverte ou des projets représentatifs, le cas échéant. Coordonnées de 3 arbitres
Notes et contenu original
- L'expérience préalable de la vérification formelle est la bienvenue, mais elle n'est pas requise : un ingénieur de systèmes solide ayant la motivation d'apprendre la technologie d'assistance à la preuve va prospérer dans ce rôle.
- Principales fonctions et responsabilités
- Diplôme supérieur en informatique ou en enseignement considéré comme équivalent;
- Expérience dans le domaine
- Nous offrons
- Possibilités de formation continue et de perfectionnement professionnel
- Excellentes conditions de travail
- Informations
- Seules les demandes soumises par le biais de la plateforme en ligne sont prises en considération.
- On vous demande de fournir:
Questions sur cette offre
Quel salaire propose EPFL pour ce poste ?
EPFL indique CHF 71 000 - 107 500 bruts par an pour ce poste à Lausanne. Il s'agit du salaire publié dans l'annonce d'origine (ou, si l'employeur ne précise pas de montant, d'une estimation réaliste pour le rôle et le secteur) — le calculateur de ce site le convertit en net réel une fois l'impôt frontalier et les cotisations sociales appliqués.
Est-ce un poste à temps plein, et quel type de contrat propose EPFL ?
Cette offre est un poste en temps plein. Le type de contrat affiché ici provient directement de l'annonce originale de l'employeur ; confirmez toujours les horaires exacts, le préavis et la durée d'essai avec EPFL pendant le processus de candidature, ces détails pouvant varier même au sein de la même catégorie de contrat.
Ai-je besoin d'un permis de frontalier pour un poste dans le canton de Vaud ?
Les résidents UE/AELE domiciliés dans la zone frontalière du pays voisin du canton de Vaud peuvent demander un permis G ; l'employeur suisse le dépose auprès de l'office cantonal des migrations après signature du contrat. Les règles de zone frontalière et les délais varient selon le pays voisin et le canton — confirmez les détails auprès de l'office des migrations du canton de Vaud ou avec les RH pendant la candidature.
Comment postuler à ce poste chez EPFL ?
Utilisez le bouton « Postuler maintenant » sur cette page — il renvoie directement à l'annonce originale de EPFL sur careers.epfl.ch, votre candidature arrive donc directement dans le système de suivi des candidatures de l'employeur. Frontaliere Ticino ne collecte ni ne transmet lui-même les candidatures.
