-
, 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
-
), corresponding to approximately 40 lecture hours per semester. https://www.epfl.ch/schools/cdm/ehub/ Profile A Ph.D., completed or close to completion, in entrepreneurship, technology and innovation management
-
that drastically reduces power and latency. We are looking for a Postdoctoral Researcher/Research Engineer with a background in Embedded Systems and Low-Level Programming to design the control logic that powers
-
our expanding in vivo and ex vivo neuroscience program, we are seeking a motivated and experienced technician to assist with mouse work, surgical procedures, and primary neuron culture. Main duties and