Postdoc: Keystone Project (Machine-Verified LLM Inference) — EPFL
- Ort
- Lausanne
- Vertrag
- full-time
- Veröffentlicht
- vor 5 Tagen
Rollenüberblick
Mission
Das Keystone-Projekt zielt darauf ab, das Wissen in folgenden Bereichen zu fördern:
Formale Verifikation und interaktives Theoremnachweisen (Rocq, Lean)
- Mission
- Das Keystone-Projekt zielt darauf ab, das Wissen in folgenden Bereichen zu fördern:
- Ein anregendes und internationales Arbeitsumfeld Ausgezeichnete Arbeitsbedingungen
- Möglichkeit zur Durchführung modernster Forschung in einer der dynamischsten wissenschaftlichen Einrichtungen in Europa im Rahmen eines hochkarätigen ARIA-finanzierten Projekts
Was das Unternehmen bietet
- Ein anregendes und internationales Arbeitsumfeld Ausgezeichnete Arbeitsbedingungen
- Möglichkeit zur Durchführung modernster Forschung in einer der dynamischsten wissenschaftlichen Einrichtungen in Europa im Rahmen eines hochkarätigen ARIA-finanzierten Projekts
- Gelegenheit zur Interaktion mit renommierten Experten EPFL und Imperial College London und mit einem starken Team von Postdoktoranden und Doktoranden
- Großzügiger Zugriff auf Frontier-Modelle und Hochleistungs-Compute für proof-assistant Workloads
- Geförderte Reisen für die Zusammenarbeit zwischen Lausanne und London und für Konferenzen Information
- Nur über die Online-Plattform eingereichte Bewerbungen werden berücksichtigt. Sie werden gebeten, Folgendes zu liefern:
- Ein kurzes Anschreiben (pdf, bis zu 2 Seiten). Und in einem PDF:
- Ein Lebenslauf mit einer Publikationsliste.
- Eine Forschungserklärung (pdf, bis zu 3 Seiten).
- Kontaktangaben für 3 Berichte.
Weitere Details
- Die Position ist Teil einer von ARIA finanzierten Zusammenarbeit zwischen EPFL und Imperial College London, deren Ziel es ist, eine formal verifizierte ML-Inferenz-Engine zu entwickeln, die zeigt, dass KI dazu beitragen kann, verifizierte Systeme in Bezug auf Entwicklungsaufwand, Funktionen und Leistung wettbewerbsfähig zu machen.
- Der genaue Fokus wird mit dem erfolgreichen Kandidaten je nach Hintergrund, Fachwissen und Affinitäten besprochen. Mögliche Richtungen sind:
- Engagieren Sie sich am ARIA-Programm, einschließlich rot/blauer Teamübungen und Sprint-Reviews
- Starke Rechen- und Analysefähigkeiten, einschließlich solider Software-Engineering-Fähigkeiten in mehreren Sprachen (z. Python, C++, OCaml, funktionale Sprachen)
- Publikationsaufzeichnung (relativ zu Ihrem Berufspraktikum) in organisierten führenden Zeitschriften und Konferenzen Unabhängig, kreativ und lösungsorientiert
- Ein anregendes und internationales Arbeitsumfeld Ausgezeichnete Arbeitsbedingungen
- Geförderte Reisen für die Zusammenarbeit zwischen Lausanne und London und für Konferenzen
- Nur über die Online-Plattform eingereichte Bewerbungen werden berücksichtigt. Sie werden gebeten, Folgendes zu liefern:
- Ein kurzes Anschreiben (pdf, bis zu 2 Seiten).
Notizen und Originalinhalt
- Hauptbestandteil
- Der genaue Fokus wird mit dem erfolgreichen Kandidaten je nach Hintergrund, Fachwissen und Affinitäten besprochen.
- Mögliche Richtungen sind:
- Starke Rechen- und Analysefähigkeiten, einschließlich solider Software-Engineering-Fähigkeiten in mehreren Sprachen (z.
- Python, C++, OCaml, funktionale Sprachen)
- Publikationsaufzeichnung (relativ zu Ihrem Berufspraktikum) in organisierten führenden Zeitschriften und Konferenzen
- Unabhängig, kreativ und lösungsorientiert
- Wir bieten
- Ein anregendes und internationales Arbeitsumfeld
- Ausgezeichnete Arbeitsbedingungen
Fragen zu dieser Stellenanzeige
Welches Gehalt bietet EPFL für diese Stelle?
EPFL gibt CHF 60'500 - 91'500 brutto pro Jahr für diese Position in Lausanne an. Dies ist das im Original-Inserat veröffentlichte Gehalt (oder, falls der Arbeitgeber keinen Betrag nennt, eine realistische Schätzung für Rolle und Branche) — der Rechner auf dieser Seite berechnet daraus Ihr tatsächliches Netto nach Grenzgänger-Steuer und Sozialabgaben.
Ist das eine Vollzeitstelle, und welchen Vertragstyp bietet EPFL?
Diese Stelle ist eine Vollzeit-Position. Der hier angezeigte Vertragstyp stammt direkt aus dem Original-Inserat des Arbeitgebers; klären Sie genaue Arbeitszeiten, Kündigungsfrist und Probezeit während des Bewerbungsprozesses mit EPFL, da diese Details auch innerhalb derselben Vertragskategorie variieren können.
Brauche ich eine Grenzgänger-Bewilligung für eine Stelle im Kanton Waadt?
EU/EFTA-Bürger mit Wohnsitz in der Grenzzone des an den Kanton Waadt angrenzenden Landes können eine G-Bewilligung beantragen; der Schweizer Arbeitgeber reicht sie nach Vertragsunterzeichnung beim Migrationsamt dieses Kantons ein. Grenzzonen-Regeln und Bearbeitungszeiten variieren je nach Nachbarland und Kanton — klären Sie die Details mit dem Migrationsamt des Kantons Waadt oder mit HR während der Bewerbung.
Wie bewerbe ich mich für diese Stelle bei EPFL?
Nutzen Sie die Schaltfläche "Jetzt bewerben" auf dieser Seite — sie führt direkt zum Original-Inserat von EPFL unter careers.epfl.ch, sodass Ihre Bewerbung direkt im Bewerbermanagementsystem des Arbeitgebers landet. Frontaliere Ticino sammelt oder leitet keine Bewerbungen selbst weiter.
