Postdoc: Projet Keystone (Inférence LLM vérifiée par la machine) — EPFL
- Lieu
- Lausanne
- Contrat
- full-time
- Publié
- Hier
Vue d’ensemble du poste
Mission
Le projet Keystone vise à faire progresser les connaissances dans les domaines suivants:
Vérification formelle et perfectionnement du théorème interactif (Rocq, Lean)
- Mission
- Le projet Keystone vise à faire progresser les connaissances dans les domaines suivants:
Détails supplémentaires
- Ce poste s'inscrit dans le cadre d'une collaboration financée par l'ARIA entre l'EPFL et l'Imperial College London, dont l'objectif est de 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 non vérifiés en termes d'effort de développement, de caractéristiques et de performances.
- Participer au programme ARIA, y compris les exercices d'équipe rouge/bleu et les examens de sprint
- Bon esprit d'équipe et clarification pour travailler dans une équipe distribuée et multi-institutions
- Un environnement de travail stimulant et international 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 de présentation (pdf, jusqu'à 2 pages).
Notes et contenu original
- Principaux actifs
- Nous offrons
- Un environnement de travail stimulant et international
- 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:
- Et dans un PDF :
Questions sur cette offre
Quel salaire propose EPFL pour ce poste ?
EPFL indique CHF 60 500 - 91 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.
