Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
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
-
, 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
-
-driven life science (DDLS) uses data, computational methods and artificial intelligence to study biological systems and processes at all levels, from molecular structures and cellular processes to human
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods