Sort by
Refine Your Search
-
Category
-
Field
-
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
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
, an ARIA-funded collaboration between EPFL and Imperial College London, aims to build a formally-verified ML inference engine, demonstrating that AI can help make verified systems competitive with unverified
-
postdoctoral position is available in the laboratory of Prof. Alex Persat (EPFL School of Life Sciences, https://www.p-lab.science/ ) to establish a new image-based drug screening platform targeting gram
-
motivated Postdoctoral researcher (W/M) to join our Neuroengineering Laboratory at EPFL (https://go.epfl.ch/ramdya/ ) to work on an ERC funded project aiming to reverse-engineer insect limb motor control
-
. The precise research topic(s) will be discussed with the successful candidate depending on their background, expertise and affinities. Analysis and publication of results Build a strong network in the field
-
responsibilities The Kim Laboratory at the École Polytechnique Fédérale de Lausanne (EPFL) (https://www.epfl.ch/labs/upkim/ ) is seeking a highly motivated postdoctoral researcher to investigate how neuronal
-
through proprioception. We develop widely-used open-source tools (e.g., DeepLabCut), train biomechanically realistic embodied agents (e.g., MuscleMimic, Kinesis, Arnold), and build AI-based models