Sort by
Refine Your Search
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
-
disease, with a strong focus on fibrosis and inflammation. Over the years, we have developed an advanced translational toolkit, including human precision-cut tissue slices, a unique organotypic model
-
2026 or as soon possible. Job description This position will involve designing, conducting, and analysing experiments to understand the impact of inflammation on the gut-brain axis in the zebrafish model
-
to assess stakeholder needs, create PV-integrated sensors to monitor agriculture-specific stressors, model stress impacts on PV performance, and develop innovative PV tracker controls. These elements will be
-
modelling of diffuse scattering using X-rays, electrons and neutrons to establish local structure and correlated disorder in advanced materials and including ultrafast femtosecond science. The project
-
the biogeochemical mechanisms that underpin the resilience of restored wetlands, integrating field observations, laboratory experiments, and modelling approaches. You will explore how nutrient dynamics, hydrological
-
computational models to map co-expression networks and predict systemic disease transitions. Characterise intestinal microbiome changes and their correlation with inflammatory diseases. Computational modelling
-
Do you have experience with modelling structures subjected to dynamic loading? Are you interested in data-driven methods for modelling applied loading? Are you eager to share your knowledge within
-
experience with QA/QC of chemical analyses, be comfortable with method development in a trace level laboratory including method validation requirements, be familiar with PFAS complexity as a major pollution