Sort by
Refine Your Search
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
and technology studies, videogame studies, critical making and design, AI and society, computational social science, and psychology. We invite applications for a full-time postdoctoral researcher
-
data or urban mobility patterns Good German language skills (at least B2) Experience with collecting own data (e.g. questionnaires; measurements) Experience with developing networks with stakeholders
-
synthetic responses to psychological experiments and how these compare with human data. Within the scope of a given behavioral domain, we design theoretically guided prompting strategies and study when LLM
-
enable new routes toward fault-tolerant quantum computation and open exciting opportunities for exploring frontier problems in quantum information dynamics. The successful candidate will: Design, build
-
politicization affect technology adoption, industrial development, policy design, and its socio-technical and political feedback effects. The project is embedded within ETH Zurich’s new Einstein School of Public
-
, robust acquisition strategies. Design, execute, and document high-quality measurements for internal projects and external collaborations, including appropriate QC, troubleshooting, and clear reporting
-
design (TCAD) tools should operate at the ab-initio and quantum mechanical level. Moreover, they should capture the interplay between electrical (voltage-induced currents), thermal (excitation of crystal
-
resolved (hourly‑scale) data on species presence, abundance, and movement patterns in rivers and streams. To address this gap, this project aims to realise the Riverine Organism Drift Imager (RODI)—a unique