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
-
probes for cryo- SPM Development and optimization of wafer-scale micro- and nanofabrication processes, including integration of sensing, actuation and electrical functionalities Mechanical, electrical and
-
pollutants, with particular interest in ultrafine particles and indoor aerosols; Concentrations, dynamics, and transformations of indoor pollutants, including physical and chemical processes occurring after
-
, including physical and chemical processes occurring after emission; Human inhalation exposure to indoor air pollutants and factors influencing exposure; Experimental characterization of indoor aerosols and
-
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
-
processes . Each postdoc will lead their own independent research direction, with an opportunity for close collaborative work. Main duties and responsibilities You will develop an acquisition and
-
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