Sort by
Refine Your Search
-
for finite element methods, or the AI-assisted discovery of new discretization paradigms for classes of PDEs where standard methods struggle, with their properties then verified formally. You will publish and
-
, we aim to advance our understanding of indoor air pollutants and their implications for human exposure, with particular interest in indoor aerosols and ultrafine particles (UFPs). Main duties and
-
ultrafine particles (UFPs). Main duties and responsibilities The successful candidate will have considerable freedom to shape their research within the broader scope of the laboratory. Potential research
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
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
-
characterization and process-evaluation methods for end-of-life PV modules, assessing recovery yield, purity, energy consumption, environmental impact, scalability and economic relevance. You will plan and conduct
-
to 3D transistor architectures and stacked, hybrid-bonded devices, non-destructive, high-resolution 3D imaging is becoming a necessity. Unfortunately, current 3D X-ray nanoimaging methods
-
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 development, data
-
material supply-chains. Develop comprehensive digital assessment methods to evaluate whole-life material flows and their associated impact across sectors to inform policy and practice. Engineer whole-life
-
at international conferences and workshops Position 1: Computer Vision & AI for Behavior Analysis Contribute to the creation of behavioral datasets for groups of animals Develop methods for animal and environment