EPFL is seeking outstanding candidates for a PhD-level research role within the Keystone project. You will contribute to formal verification, ML systems, and AI-assisted proof engineering, working with Rocq/Lean and other toolchains.
Regular interactions with Imperial College London are expected, and you will help release specifications and proofs to the community. Successful candidates will join a distributed, international team and engage with ARIA-funded activities, including sprint reviews
#J-18808-Ljbffr
Postdoc: Formal Verification for Verified ML Inference in Lausanne Arbeitgeber: EPFL
Das AGORA Cancer Research Center der EPFL in Lausanne bietet eine inspirierende Arbeitsumgebung, die sich durch eine kollaborative und interdisziplinäre Kultur auszeichnet. Als Labor-Techniker im Bereich Krebsforschung und Immunologie haben Sie die Möglichkeit, an bedeutenden Forschungsprojekten zu arbeiten und Ihre Fähigkeiten in einem dynamischen Team weiterzuentwickeln. Zudem profitieren Sie von umfangreichen Weiterbildungsmöglichkeiten und einem engagierten Netzwerk von Fachleuten, die gemeinsam an der Bekämpfung von Krebs arbeiten.
