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. Postdoc in the Theory of Non-Equilibrium Chemical Reaction Networks Mission The National Centre
-
of materials, interfaces and manufacturing processes relevant to PV modules. Experience in material characterization and quantitative analysis of experimental data. Ability to independently define, plan and
-
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
-
for a postdoctoral fellow to join our team to work on a new SNSF-funded project on Managing a Just Transition to Net Zero. This project aims (1) to measure economic/job vulnerabilities to the clean energy
-
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
-
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