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
-
the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Materials science and technology are our
-
. • Excellent Python programming skills and strong hands-on experience implementing, training, and evaluating deep-learning models and research codebases. A strong track record in machine learning or closely
-
, heavy rainfalls, droughts, wildfires, and further compound events. The research programme will interact with stakeholders ranging from public health to finance, agriculture, and water management to
-
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