Sort by
Refine Your Search
-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Software Engineer: Keystone Project (Machine-Verified LLM Inference) Mission The Keystone project
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. IT Systems Administrator & Software Developer Mission The mission of the CIBM IT systems
-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Full Stack Software Engineer Mission Are you passionate about creating impactful applications
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Software Developer, circular-construction AI (REON / SXL) Mission The Structural Xploration Lab
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Research Software Engineer Mission The Center for Digital Trust (C4DT) , housed at EPFL, brings
-
suites across the software stack Building and improving a hardware-in-the-loop (HIL) test bench for systems interfacing with sensors and spinal cord stimulators Defining and executing test strategies (unit
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
(e.g., biobanking networks, secure data environments, precision medicine initiatives). · Oversee budget planning for the human research infrastructure ecosystem. · Represent EPFL in relevant governance