Sort by
Refine Your Search
-
habitual control. It will then test how acute stress alters these processes, combining behavioral performance, physiological monitoring, movement-based phenotyping, and advanced statistical and computational
-
, he/she will be responsible for overseeing the in vivo testing, optimization and functional verification of optoelectronic devices based on µLED’s assembled on compliant substrates. The Postdoc will
-
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
-
processing strategies that can enable the fabrication of a wide variety of advanced functional materials and devices. We are seeking a candidate with experience either in a) the development of (macro)monomers
-
the development of novel and innovative numerical techniques aiming at improving the integration between numerical simulations and geometric modelling and processing. Proof assistants such as Lean, together
-
the process itself shapes disease states at cellular and molecular scales. By combining AI innovation with RNA-focused, context-aware biology, SATURNA seeks to establish actionable principles of disease
-
looking for a postdoctoral researcher in the area of Generative AI. VITA research interests lie at the intersection of Computer Vision, Machine Learning (Deep Learning), and Human-Robot Interaction
-
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
-
habitual control. It will then test how acute stress alters these processes, combining behavioral performance, physiological monitoring, movement-based phenotyping, and advanced statistical and computational