-
, memory safety, data race freedom, functional correctness) Implementing and verifying the inference coordination layer (batching, KV-cache management, scheduling) in Rocq/Lean, with extraction to executable
-
positions. https://www.epfl.ch/labs/entc/ Education You will work closely with Dr. Davide Bavato, head of EPFL’s recently established Entrepreneurship Education Hub. The Hub is developing a structured
-
initiative. You will also have other duties such as mentoring and supervision, subproject coordination, teaching, participation to publications and outreach events Profile We are looking for outstanding
Enter an email to receive alerts for coordinator-"https:" positions