Sort by
Refine Your Search
-
18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and
-
collaboration with other lab members, the group's organoid/tissue-engineered infection models (airway, gut) to prioritize physiologically relevant hits Co-supervise PhD students and contribute to method
-
following fields: reactive magnetron sputtering, electron-beam lithography, theory of light-matter interaction, computer simulations using the method of Finite Differences in the Time Domain (FDTD
-
working method. This is one of two postdoctoral positions opening in the group. This position focuses on high-throughput imaging of static structural defects, while the companion position focuses on time
-
programming languages and frameworks such as Python, PyTorch, or TensorFlow is an advantage Fulfillment of the formal admission requirements for doctoral studies at the University of St. Gallen
-
standards. Informations Formal applications should be submitted as a single PDF file containing (1) A cover letter outlining your research interests, relevant experience, and motivation for joining the lab
-
recruitment), and knowledge (in/formal knowledge practices and embodied cultural knowledge). The project combines multi-sited with local hospital ethnography and the funds of knowledge approach, as