Auf einen Blick
- Aufgaben: Entwickle ein hochleistungsfähiges ML-Inferenzsystem und arbeite an innovativen Projekten.
- Unternehmen: Dynamisches Team in einem hochkarätigen ARIA-finanzierten Projekt.
- Vorteile: Flexible Arbeitsbedingungen, Weiterbildungsmöglichkeiten und Zugang zu fortschrittlichen KI-Modellen.
- Weitere Informationen: Multikulturelles Umfeld mit hervorragenden Karrierechancen und Reisen zwischen Lausanne und London.
- Warum dieser Job: Sei Teil eines bahnbrechenden Projekts, das KI und formale Verifikation kombiniert.
- Qualifikationen: Erfahrung in Systemprogrammierung und starke Programmierkenntnisse in Python, C/C++ oder Rust.
Das prognostizierte Gehalt liegt zwischen 49500 - 60500 CHF pro Jahr.
Das Keystone-Projekt, eine von ARIA finanzierte Zusammenarbeit zwischen der EPFL und dem Imperial College London, zielt darauf ab, eine formal verifizierte ML-Inferenz-Engine zu entwickeln. Es soll demonstriert werden, dass KI dazu beitragen kann, verifizierte Systeme in Bezug auf Entwicklungsaufwand, Funktionen und Leistung wettbewerbsfähig mit unverifizierten Systemen zu machen. Zu den Aufgaben gehören das Design und die Implementierung von verifizierten Inferenzkomponenten, die Formalisierung der GPU-Kernel-Semantik, die Entwicklung von KI-unterstützten Proof-Engineering-Workflows sowie die Open-Source-Veröffentlichung von Spezifikationen, Beweisen und verifizierten Artefakten.
Wir suchen einen hervorragenden Software-Ingenieur, der eine zentrale Rolle dabei spielt, verifizierte Forschungsprototypen in eine produktionsreife, leistungsstarke Inferenz-Engine umzuwandeln. Vorherige Erfahrungen mit formaler Verifikation sind willkommen, aber nicht erforderlich: Ein starker Systemingenieur mit der Motivation, die Technologie von Beweisassistenten zu erlernen, wird in dieser Rolle gedeihen.
Hauptaufgaben und Verantwortlichkeiten:
- Technische Expertise in Systems Programming und Performance Engineering einbringen, um die Forschung des Projekts zu unterstützen; Zusammenarbeit mit den Forschungsteams an der EPFL und dem Imperial College London.
- Design, Implementierung und Wartung der Kernkomponenten der verifizierten LLM-Inferenz-Engine, einschließlich der Laufzeit und des Verbindungs-Codes zwischen extrahiertem verifiziertem Code, GPU-Kernen und Treibern.
- Organisation und Verwaltung der Ingenieurinfrastruktur des Projekts: differenzielle Tests gegen Referenz-Engines (vLLM, SGLang), kontinuierliche Integration für Code und Beweise sowie Leistungsbenchmarking.
- Entwicklung und Wartung agentischer KI-Pipelines für die Autoformalisation von Spezifikationen, die Generierung von Beweisen und die Reparatur von Beweisen.
- Dokumentation, Verfahren und Empfehlungen schreiben, um die Reproduzierbarkeit der Artefakte des Projekts sicherzustellen.
- Diagnose, Prävention und Reparatur von Fehlern und Regressionen im gesamten Software-Stack.
- Analyse des Sicherheitsniveaus und der vertrauenswürdigen Computing-Basis der entwickelten Komponenten und Mitwirkung an Red/Blue-Team-Übungen im Rahmen des ARIA-Programms.
- Beitrag zu Open-Source-Veröffentlichungen und Engagement mit deren Benutzer-Communities.
Profil:
- Höhere Ausbildung in Informatik oder gleichwertiger Ausbildung; Erfahrung im Bereich.
- Ausgezeichnete technische Kenntnisse in Systems Programming und starke Programmierfähigkeiten in mehreren der folgenden Sprachen: Python, C/C++, Rust, OCaml oder anderen funktionalen Sprachen.
- Kenntnisse in einer oder mehreren der folgenden Bereiche mit starker Motivation, in den anderen zu wachsen: GPU-Programmierung (CUDA, Triton, PTX) oder Hochleistungsrechnen; ML-Inferenz- oder Serviersysteme (vLLM, SGLang, PyTorch-Interna oder ähnliches); Interaktive Theorembeweise (Rocq, Lean, HOL, Isabelle oder ähnliches) oder andere formale Methoden.
- Erfahrung in der Wartung von Entwicklungstools: Build-Systeme, kontinuierliche Integration und Testinfrastruktur.
- Erfahrung mit LLM-basierten Entwicklungstools oder dem Aufbau agentischer Workflows ist von Vorteil.
- Beherrschung der englischen Sprache unerlässlich (mündlich und schriftlich); Französisch ist von Vorteil, aber nicht erforderlich.
- Prioritäten, Integrität und Autonomie in der Arbeit.
- Teamgeist und Eignung für technische Untersuchungen und Implementierungen; ausgezeichnete Kommunikationsfähigkeit mit unterschiedlichen Zielgruppen, von Beweisingenieuren bis hin zu Systemforschern.
- Starkes Servicebewusstsein und Initiative.
Wir bieten:
- Die Möglichkeit, einem dynamischen und stimulierenden Team in einem hochkarätigen, von ARIA finanzierten Projekt beizutreten.
- Ein multikulturelles und akademisches Arbeitsumfeld von hoher Qualität.
- Möglichkeiten zur Weiterbildung und beruflichen Entwicklung.
- Ausgezeichnete Arbeitsbedingungen.
- Großzügiger Zugang zu fortschrittlichen KI-Modellen und Hochleistungsrechnern.
- Finanzierte Reisen für die Zusammenarbeit zwischen Lausanne und London sowie für Konferenzen.
Für weitere Informationen kontaktieren Sie bitte: Nate Foster.
Vertragsbeginn: nach Vereinbarung.
Aktivitätsrate: 100.00
Vertragsart: CDD
Dauer: 1 Jahr, verlängerbar (je nach Projektdauer).
Referenz: 2477
Software Engineer: Keystone Project (Machine-Verified LLM Inference) in Lausanne Arbeitgeber: EPFL
Die EPFL ist ein herausragender Arbeitgeber, der eine dynamische und interdisziplinäre Arbeitsumgebung bietet, in der Innovation und Forschung im Mittelpunkt stehen. Mit über 6'500 Mitarbeitenden und einer internationalen Gemeinschaft von mehr als 17'000 Personen, darunter 12'500 Studierende und 4'000 Forschende, fördert die EPFL nicht nur die persönliche und berufliche Weiterentwicklung, sondern bietet auch die Möglichkeit, an wegweisenden Projekten wie dem Materials Centre for Advanced Separations (MCAS) mitzuarbeiten. Die einzigartige Lage in Lausanne und die enge Zusammenarbeit mit führenden Institutionen machen die EPFL zu einem attraktiven Arbeitsplatz für alle, die einen bedeutenden Beitrag zur Wissenschaft und Technologie leisten möchten.
Jobgipfel Expertenrat🤫
Wir sind der Meinung, dass du so Software Engineer: Keystone Project (Machine-Verified LLM Inference) in Lausanne erhalten könntest
✨Tauch ein in die Entwickler-Communities
Nimm aktiv an Software-Entwicklungs-Meetups oder Hackathons in deiner Nähe teil. Dort triffst du Gleichgesinnte und kannst potentielle Arbeitgeber kennenlernen, die oft direkt vor Ort nach Talenten suchen.
✨Zeig, was du kannst!
Erstelle ein öffentliches Portfolio mit deinen Projekten auf GitHub oder einer ähnlichen Plattform. Das gibt potenziellen Arbeitgebern die Möglichkeit, direkt zu sehen, wie du denkst und welche Skills du mitbringst.
✨Verbindung zur Uni nutzen
Wenn du noch studierst oder frisch von der Uni kommst, schau, ob es an deiner Hochschule Praktika oder Kooperationen mit Firmen gibt. Oft haben Unis Kontakte zu lokalen Unternehmen, die bei befristeten Stellen suchen.
✨Direkt bewerben und glänzen!
Such dir Firmen wie EPFL, die in der Software-Entwicklung tätig sind und wende dich direkt über deren Website an sie. Wir glauben, dass ein persönliches Anschreiben und ein direkte Kontakt oft viel mehr bewirken als die herkömmlichen Bewerbungswege.
Wir glauben, dass du diese Fähigkeiten brauchst, um Software Engineer: Keystone Project (Machine-Verified LLM Inference) in Lausanne mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Zeig din Projekte!:In der Software-Entwicklung ischs wichtig, dass du konkrete Beispiele vo dinere Arbeit zeigisch. Erstell e cool Portfolio mit Links zu Projäkten, die du g'macht hesch. Ob GitHub-Repositories oder private Projekte – das macht din Bewerbung lebendig und überzeugete.
Use Code Snippets:Wenn du uf e befristete Stelle schaffisch, chönntsch Code Snippets oder e spezielle Projektbeschreibung i dinere Bewerbung integriere. Das zeigt, dass du nicht nume Kennisse hesch, sondern die Fähigkeit, sie umzusetze. Es isch au e super Möglichkeit, um din persönlichen Stil zu präsentiere.
Gib dine Lernerfahrige preis:In der Klinik für befristeti Ställ täts wichtig, dass du zeigsch, was du au us de Erfahrung lerne wotsch. Schreib i dinem Motivationsschreiben, wie wichtig dir Weiterbildung isch und wie du dich i der kurzen Zeit weiterentwickle wotsch. Das zeigt, dass du engagiert und offen für neui Herausforderige bisch.
Vernetz di!:Vergiss nöd, dass Networking immer wichtig isch, besonders in dr Software-Entwicklungs-Branche. Es chönnt dir hälfe, wenn du mit andere Entwickler schreibsch oder e paar Referenze hesch, wo chöne dinen Background stäerken. Und vergiss nöd, dich direkt über unsere Website zu bewerbe!
Wie man sich auf ein Vorstellungsgespräch bei EPFL vorbereitet
✨Technische Fähigkeite vorbereite
In der Software-Entwicklung musst du technische Fragen wie Code-Challenges bestehen. Mach dich mit spezifischen Sprachen oder Frameworks vertraut, die bei EPFL häufig verwendet werden. Übe auch das Lösen von algorithmischen Problemen auf Plattformen wie LeetCode oder HackerRank – das zeigt deine Problemlösungsfähigkeiten.
✨Portfolio und Projekte präsentieren
Da es sich um eine befristete Anstellung handelt, ist es wichtig, dass du deine bisherigen Projekte und Erfahrungen gut präsentieren kannst. Zeig ein paar konkrete Beispiele aus deinem Portfolio, die zeigen, wie du in der Vergangenheit Probleme gelöst oder Innovationen entwickelt hast. Das gibt EPFL einen klaren Eindruck von deinem Können.
✨Teamarbeit und Kommunikation betonen
Software-Entwicklung geschieht oft im Team. Sei bereit, über deine Erfahrungen in agilen Umgebungen zu sprechen und wie du zur Teamdynamik beigetragen hast. EPFL will wissen, dass du auch an der Kommunikation im Team arbeitest, vor allem bei einer befristeten Rolle.
✨Flexibilität und Anpassungsfähigkeit zeigen
In einer befristeten Anstellung ist es wichtig, schnell auf Veränderungen reagieren zu können. Zeig, dass du flexibel bist und dich schnell in neue Technologien oder Abläufe einarbeiten kannst. Erzähl von Beispielen, wo du diese Fähigkeiten bereits unter Beweis gestellt hast!
