Sort by
Refine Your Search
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
twins and engineering knowledge such as P&IDs and operating procedures. A particular emphasis lies on trustworthiness: quantifying uncertainty, verifying agent decisions before they reach the plant
-
in Electrical Engineering. Please check https://www.epfl.ch/education/phd/ for additional information. Please note that this is a separate application process. Main duties and responsibilities As a
-
powers this new hybrid network. Your code will directly enable the next generation of energy-efficient AI clusters. Project scope You will bridge the gap between custom optical hardware and standard AI
-
Mission We are offering a full-time (100%) PhD position at ENAC at EPFL, Lausanne, Switzerland, within the Plant Ecology Research Laboratory (PERL): https://www.epfl.ch/labs/perl/ The PhD project
-
verification, and 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
-
interface. EPFL covers a wide spectrum of science and engineering and offers a fertile environment for research and cooperation between different disciplines. It has a wide international network as well