Sort by
Refine Your Search
-
, 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
-
by Prof. Marc Gruber, within EPFL's College of Management of Technology. You will have scope to develop your own research agenda and to collaborate with Prof. Gruber and the Chair's researchers
-
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
-
imaging of dynamic processes, while the companion position focuses on high-throughput imaging of static structural defects . Each postdoc will lead their own independent research direction, with
-
processes . Each postdoc will lead their own independent research direction, with an opportunity for close collaborative work. Main duties and responsibilities You will develop an acquisition and
-
imaging of dynamic processes, while the companion position focuses on high-throughput imaging of static structural defects. Each postdoc will lead their own independent research direction, with
-
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
-
part of a collaborative team to plan and execute experiments Maintain knowledge of published developments in research field and recommend alternative strategies Plan and organize workload to meet project
-
, and interpreted. Essential qualifications include: Strong programming skills, preferably in Python and/or R, with experience building reproducible data-analysis workflows. Excellent quantitative and