Sort by
Refine Your Search
-
- Statistical learning and safe reininforcement learning - Simulation-based analysis - Explainability methods for AI/ML-based systems - Specification formalisms for learning-enabled systems We encourage
-
, visualization, and development of new computational methods for processing and analysis of large-scale omics data. We welcome applications from candidates with pure computational background and those combining
-
Engineering, (IDT) Position description The ASSURE project is announcing a Postdoctoral position in dependable cyber-physical systems. The project focuses on developing methods to analyze robustness and safety
-
techniques (e.g., artificial intelligence, self-adaptation, analytics, formal methods). The EReS Research Lab integrates expertise from different research areas, such as Software Engineering and Sustainable
-
. The ideal candidate will have expertise in formal methods, program verification, and microarchitectural attack analysis. Experience with compiler pass design and SMT solvers is highly desirable and will be
-
interested in using and developing state-of-the-art methods in biophysics and structural biology (e.g. RNA probing & SHAPE, or NMR). Are you looking for an employer that invests in sustainable employee ship
-
proteomics-based methods to uncover novel interaction partners in alphavirus infections and in infection-related cellular conditions. Screening methods, using CRISPR and RNAi as well as drug libraries will be
-
, raw materials, and wastes) and usually lack uncertainty quantifications. The goal of this project is to integrate probabilistic machine learning methods and models to accelerate CFD computations and
-
in neuroscience, traumatology or equivalent. Formal education and experience of planning and conducting animal experiments. Theoretical and practical knowledge in physiological, morphological, cell and
-
have demonstrated A PhD in neuroscience, traumatology or equivalent. Formal education and experience of planning and conducting animal experiments. Theoretical and practical knowledge in physiological