Auf einen Blick
- Aufgaben: Beitrag zu formal verifizierten KI-Systemen und Zusammenarbeit mit internationalen Partnern.
- Unternehmen: EPFL, führende Forschungsinstitution in Lausanne.
- Vorteile: Zugang zu hochmodernen KI-Modellen und internationale Reisemöglichkeiten.
- Weitere Informationen: Dynamisches Umfeld mit exzellenten Möglichkeiten zur beruflichen Weiterentwicklung.
- Warum dieser Job: Gestalte die Zukunft der KI mit und arbeite an bahnbrechenden Projekten.
- Qualifikationen: Starke Publikationshistorie und Fähigkeit zur unabhängigen Forschung.
Das prognostizierte Gehalt liegt zwischen 81000 - 99000 CHF pro Jahr.
EPFL invites applications for a Postdoc on the Keystone Project (Machine-Verified LLM Inference) in Lausanne.
You will contribute to formally verified AI systems, work with Rocq/Lean, and collaborate across an ARIA-funded program with Imperial College London.
Strong publication record and independence are expected.
The role offers international collaboration, access to frontier AI models and high-performance compute, and travel between Lausanne and London for joint work and conferences.
#J-18808-Ljbffr
Postdoc: Formal Verification for ML Inference Engines in Lausanne Arbeitgeber: École polytechnique fédérale de Lausanne, EPFL
Die EPFL ist ein hervorragender Arbeitgeber, der eine dynamische und multikulturelle Arbeitsumgebung bietet, in der über 18'500 Menschen zusammenarbeiten. Als Teil des AGORA Cancer Research Centers in Lausanne haben Mitarbeitende die Möglichkeit, an spannenden und bedeutenden Projekten im Bereich der Krebsforschung mitzuwirken und sich kontinuierlich weiterzuentwickeln. Die EPFL fördert eine offene Kommunikation und bietet attraktive Arbeitsbedingungen, die es den Mitarbeitenden ermöglichen, ihre Fähigkeiten in einem internationalen Umfeld zu entfalten.
Kontaktdaten:
École polytechnique fédérale de Lausanne, EPFL Recruiting-Team
Jobgipfel Expertenrat🤫
Wir sind der Meinung, dass du so Postdoc: Formal Verification for ML Inference Engines in Lausanne erhalten könntest
✨Konferenzen und Workshops besuche
In der Grundlagenforschung sind Konferenzen und Workshops super wichtig. Dort hast du die Gelegenheit, Gleichgesinnte zu treffen, über die neuesten Erkenntnisse zu diskutieren und potenzielle Arbeitgeber wie École polytechnique fédérale de Lausanne, EPFL kennenzulernen. Mach dir also einen Plan, um an relevanten Events teilzunehmen!
✨Netzwerk in Fachgemeinschaften stärken
Engagiere dich in Fachgemeinschaften oder Forschungsnetzwerken. Sei es online auf Plattformen wie ResearchGate oder durch Mitgliedschaft bei wissenschaftlichen Gesellschaften. Da kannst du nicht nur wertvolle Kontakte knüpfen, sondern auch deinen Namen im Feld sichtbar machen.
✨Präsentationen deiner Forschung
Wenn du bereits an Projekten oder Research Papers arbeitest, überlege dir, diese bei Events oder in Webinaren vorzustellen. Das zeigt nicht nur deine Expertise, sondern stellt auch sicher, dass Leute dich und deine Arbeit bemerken – das könnte dich bei École polytechnique fédérale de Lausanne, EPFL ins Gespräch bringen.
✨Bewerbung direkt über unsere Webseite
Vergiss nicht, dich über unsere Webseite zu bewerben! Wenn dir die offene Stelle bei École polytechnique fédérale de Lausanne, EPFL zusagt, zeig uns, was du drauf hast. Bleib aktiv und greif unsere besten Praktiken auf, um sich von der Konkurrenz abzuheben!
Wir glauben, dass du diese Fähigkeiten brauchst, um Postdoc: Formal Verification for ML Inference Engines in Lausanne mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Schreib d'Forschungserfahrung in d'Büro:In em CV müesst dir besonders d'Forschungserfahrung betonen. Zeigt, an welchen Projekten dir gschaffet händ und wo dir Analysefähigkeiten und kritisches Denke zeiget händ. E klare Struktur und spezifischi Resultate sy wichtig.
Füge wissenschaftliche Publikationen hinzu:Falls dir schon Artikel oder Studien veröffentlicht händ, vergisst nöd, die im CV aazfüege. Das zeigt, dass dir in der Grundlagenforschung aktiv sind und e Beitrag zur wissenschaftliche Gemeinschaft leistet händ.
Motivation i de Begleitbrief:Im Begleitbrief sollt dir erkläre, warum dir speziell für die Stelle bei École polytechnique fédérale de Lausanne, EPFL interessiert sind. Zeigt eure Leidenschaft für Grundlagenforschung und die Neugier, d'Welt besser zu verstoh. Das zählt enorm bei Vollzeitstellen.
Vernetz di mit de Wissenschaftsgemeinschaft:Nutze soziale Netzwerke wie LinkedIn oder ResearchGate, um dein Netzwerk auszubauen. In der Grundlagenforschung isch es wichtig, Verbindungen z'pflegen und sich über die neuste Forschung auszutauschen. Das kann dir e Vorteil bringe, wenns um die Ausschreibung bei École polytechnique fédérale de Lausanne, EPFL goht.
Wie man sich auf ein Vorstellungsgespräch bei École polytechnique fédérale de Lausanne, EPFL vorbereitet
✨Wissenschaftliche Neugier zeigen
In der Grundlagenforschung geht's oft um mehr als nur Resultate – es geht um die Fragen, die dahinterstecken. Bereite dich darauf vor, deine eigene Forschungsfrage zu diskutieren. Zeig uns, wie leidenschaftlich du für dein Forschungsgebiet bist und dass du bereit bist, neue Ansätze zu verfolgen.
✨Dein Forschungserlebnis präsentieren
Such dir einige konkrete Projekte oder Studien aus, in denen du involviert warst, und bereite einen kurzen Überblick vor. Zeig uns, wie du mit verschiedenen Methoden gearbeitet hast und welche Tools oder Techniken du beherrschst. Das hilft, deinen praktischen Bezug zur Forschung zu verdeutlichen.
✨Teamarbeit und Kollaboration betonen
In der Grundlagenforschung ist es oft wichtig, mit anderen Wissenschaftlern zusammenzuarbeiten. Sei bereit, zu erzählen, wie du in Teams gearbeitet hast und welche Rolle du einnehmen würdest. Zeig, dass du nicht nur selbstständig denken kannst, sondern auch das Können, dein Wissen mit anderen zu teilen.
✨Zukunftsvisionen diskutieren
Denk darüber nach, wie sich dein Forschungsfeld entwickeln könnte und welche Trends du siehst. Wir sind an deiner Vision interessiert: Wohin möchtest du in deiner Karriere, und wie kann École polytechnique fédérale de Lausanne, EPFL dir dabei helfen? Deine Aufgeschlossenheit gegenüber neuen Ideen kann ein entscheidender Faktor sein!
