epfl - blue brain project

ppEPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment...

ppEPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment...

h3Mission /h3 pThe Keystone project, 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 systems in terms of development effort, features, and performance. Its missions include the design and...

ph3Mission /h3 pWe are looking for a highly motivated Postdoctoral researcher (W/M) to join our Neuroengineering Laboratory at EPFL to work on an ERC funded project aiming to reverse-engineer insect limb motor control for bioinspired robotics. The main focus of this project is how neural circuits in the motor system of the fly, Drosophila melanogaster,...

Mission Our laboratory develops and applies advanced molecular and optical technologies to study mechanisms of cell surface signaling, cancer neuroscience, and protein engineering, integrating molecular biology, cell biology, and systems neuroscience approaches. To support our expanding in vivo and ex vivo neuroscience program, we are seeking a motivated...

Mission The Keystone project seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding candidates working in formal methods and/or computer systems with interests in one or more of the following...