1 Computer-Science "Imperial College London" Postdoctoral positions at EPFL

Postdoc: Keystone Project (Machine-Verified LLM Inference)

EPFL | Switzerland | about 10 hours ago

AI-assisted proof engineering. The position is part of an ARIA-funded collaboration between EPFL and Imperial College London whose goal is to build a formally-verified ML inference engine