Sort by
Refine Your Search
-
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
-
, 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
-
Python and experience with GPU processing of large-scale datasets. Excellent written and oral communication skills in English. We also value applications from people with the following experience
-
scientific programming in Python and experience with GPU processing of large-scale datasets. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related
-
Python and experience with GPU processing of large-scale datasets. Excellent written and oral communication skills in English. We also value applications from people with the following experience