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
-
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
-
team, a laboratory (Professor, PhD students, Research Software Engineers, semester students) writing software libraries and applications, and evaluating them through user tests. The duration of the grant
-
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
-
the application form provided below. It should be duly completed (including recommendation letters) before the deadline specified by the doctoral program of your choice. Selection Students wishing to do their PhD
-
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