-
previously conducted research or have demonstrated knowledge within some of the following areas: classical and/or quantum data communication, error correction, communication algorithms, optimization algorithms
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic
-
of precision medicine by developing innovative statistical genetics methods, implementing state-of-the-art machine learning algorithms, and integrating artificial intelligence to uncover novel biological
-
, generative design, building performance optimization, digital design methods (e.g., predictive modeling, multi-agent systems and algorithmic techniques for architectural design), digital design epistemologies