Sort by
Refine Your Search
-
Listed
-
Employer
-
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. Postdoc in the Theory of Non-Equilibrium Chemical Reaction Networks Mission The National Centre
-
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
-
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
-
robust acquisition, synchronization, calibration and quality-control procedures across multimodal data streams. Troubleshooting software, hardware, sensors, timing, synchronization, data acquisition and
-
to be defined and further developed over time Excellent command of English; knowledge of German and/or French is of strong advantage (written and spoken) Willingness to commute to different work places
-
information science, broadly defined. Experience in topological materials/ topological quantum computation/ quantum geometry/ exposure to tensor network methods or and/or AI/LLM for physics would be a positive addition
-
deposition infrastructure Opportunities for professional growth and networking Competitive salary and benefits package The contract duration is initially for two years with the possibility of extension and a
-
tasks As part of the NCCR-Network, you will contribute to the project aims in the areas of shaped CO2 adsorbents and sorbent ageing. Within the framework of the NCCR project with well-defined objectives
-
translational focus, running a tech development lab on the EPFL campus and a translational lab in the AGORA cancer research center (with direct access to patient material). Furthermore, a strong network of