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
-
conducts applied and theoretical research on the economics and politics of sustainable development, as well as the policies to achieve it. More information at: https://www.epfl.ch/labs/pasu/ . We are looking
-
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
-
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
-
motivated Postdoctoral researcher (W/M) to join our Neuroengineering Laboratory at EPFL (https://go.epfl.ch/ramdya/ ) to work on an ERC funded project aiming to reverse-engineer insect limb motor control
-
. The precise research topic(s) will be discussed with the successful candidate depending on their background, expertise and affinities. Analysis and publication of results Build a strong network in the field