-
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
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral researcher position at EPFL - AI for Science (Health, Biology) Mission A
-
EPFL, 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
-
sensing. Profile PhD in Computer Vision Background in Computer Science Research experience in 3D Computer Vision, remote sensing and aerial imagery Strong computational and analytical skills, as
-
, environmental modelling and geospatial data science. The position is part of Vertical Africa (VERTICAF), an interdisciplinary research project funded by the Swiss National Science Foundation (SNSF). We
-
EPFL, 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
-
computational modeling, mathematical modeling, or experimental psychology. Profile We thrive on interdisciplinary collaboration. You should hold a PhD in musicology, computer science, cognitive science
-
, building technology, material science or a related discipline. Candidates without a PhD but with equivalent research experience and expertise may also be considered for an alternative appointment as a
-
EPFL, 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