Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
-basel/2026/professorship-in-dist… Requirements Research Field Computer science Years of Research Experience More than 10 Additional Information Website for additional job details https
-
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
-
LTS2 Lab https://lts2.epfl.ch offers a highly motivating, interdisciplinary scientific environment with many opportunities to interact between different projects and researchers, and has an
-
Policy and support the disaster recovery and malware response plans. Maintain and monitor the IT infrastructure, including the Sophos firewall appliance, UniFi wireless network, Xerox printers, 3CX
-
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
-
, ranks among the top 20 universities worldwide and offers an exceptional working environment with very competitive salaries. The IMOS Lab (https://www.epfl.ch/labs/imos/ ) offers a highly motivating