Sort by
Refine Your Search
-
Category
-
Field
-
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
-
: Master’s degree or PhD in EE, Physics or Computer Science Attention to detail and passion for organization and efficiency Management experience in a similar role Familiarity with software and computer
-
is responsible for the design, implementation, operation and continuous improvement of the technical infrastructure supporting the Genome of Switzerland programme. The position ensures the efficient
-
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 both positions: Conduct innovative, independent research aligned with the lab's mission and the candidate's interests Contribute to the lab's open-source software, datasets, and benchmarks Mentor PhD and
-
habitual control. It will then test how acute stress alters these processes, combining behavioral performance, physiological monitoring, movement-based phenotyping, and advanced statistical and computational