-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
Fribourg campus, with access to EPFL facilities and research infrastructure in both Fribourg and Lausanne. Additional information For more information about HOBEL: https://www.epfl.ch/labs/hobel/ For more
-
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 software
Enter an email to receive alerts for coding-"https:" positions