2 modal-analysis-artificial-intelligence Postdoctoral positions at Technical University of Denmark

Postdoc in Formal Methods for Business Process Management - DTU Compute

Technical University of Denmark | Denmark | 2 months ago

processes or laws Elicitation of requirements from natural language Applications of declarative specifications (e.g. temporal, modal logics, declarative process models) in the analysis of systems Model-driven

Postdoc in Robustness and Algorithmic Fairness for Fetal Ultrasound Foundation Models - DTU Compute

Technical University of Denmark | Denmark | 3 months ago

, including artificial intelligence (AI), machine learning, internet of things (IoT), chip design, cybersecurity, human-computer interaction, social networks, fairness, and data ethics. Our research is rooted