Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
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
-
(e.g., biobanking networks, secure data environments, precision medicine initiatives). · Oversee budget planning for the human research infrastructure ecosystem. · Represent EPFL in relevant governance
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc in the Theory of Non-Equilibrium Chemical Reaction Networks Mission The National Centre
-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. ICP Systems Engineer Mission The Integrated Computing Platform (ICP) provides advanced IT
-
. Specifically, we are looking for Postdoctoral scientists to perform microscopy-based neural recordings in behaving flies, computational analysis, and, if interested, neuromechanical simulations or robots driven
-
constrains metabolic network architecture despite substantial taxonomic turnover in anaerobic digestion communities, providing a mechanistic explanation for convergent ecosystem functions across similar
-
Log analysis tools, confidentiality rules, password management, patch management Profile Higher education degree in computer science (HES, university, or EPF) or equivalent qualification Good knowledge
-
: Install and configure software, troubleshoot application-related issues and manage IT software updates for end-user machines. Network access: Manage client access to the EPFL network and resolve