Sort by
Refine Your Search
-
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
-
enthusiasm for working in a collaborative, international lab We offer A stimulating and international working environment Excellent working conditions Opportunity to perform state-of-the-art research in one
-
The performance of X-ray microscopy has improved significantly over the last decade, enabling synchrotron-based X-ray imaging to resolve individual transistors in modern semiconductor devices. As the industry moves
-
The performance of X-ray microscopy has improved significantly over the last decade, enabling synchrotron-based X-ray imaging to resolve individual transistors in modern semiconductor devices. As the industry moves
-
The performance of X-ray microscopy has improved significantly over the last decade, enabling synchrotron-based X-ray imaging to resolve individual transistors in modern semiconductor devices. As the industry moves
-
://reiher.ethz.ch ), led by Prof. Markus Reiher, which will perform detailed quantum-chemical calculations of reaction rates. The research will develop along two closely connected directions. First, the successful
-
a new research collaborator with a PhD in building technology, preferably in the field of building materials and/or building envelope performance and/or building renovation. The candidate must be
-
. Specifically, we are looking for Postdoctoral scientists to perform microscopy-based neural recordings in behaving flies, computational analysis, and, if interested, neuromechanical simulations or robots driven
-
the field of sustainable construction. The research integrates dynamic material value-chain analyses, ownership models, technical performance assessment, and design-for-disassembly strategies to support the
-
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