Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
connect formal models with observable behaviour. Our group studies cooperation across multi-agent systems and AI, social systems, and biology. Recent work includes evolutionary models of cooperation and
-
connect formal models with observable behaviour. Our group studies cooperation across multi-agent systems and AI, social systems, and biology. Recent work includes evolutionary models of cooperation and
-
software requirements Formal methods for software systems and software architectures AI-Driven Software Development and Assurance AI-driven software development processes Verification of AI systems
-
Tenure-Track Assistant Professor / Associate Professor in AI-Driven SW Specification, Development...
traceability Requirements-to-code transformation Requirements-to-architecture transformation Requirements-to-test transformation Autoformalization of software requirements Formal methods for software systems
-
better align with user expectations or provide meaningful explanations when unexpected situations arise. We plan to represent and model expectations using formal methods, develop techniques that help
-
Job Description If you are establishing your scientific career in robotics, control, and AI and want to contribute to the next generation of intelligent robotic systems, this position offers a unique
-
formal background knowledge to enhance explainability in downstream AI tasks for complex socio-technical systems. The position involves close collaboration between both research groups, engagement
-
, software development, software architecture, distributed systems, cloud computing, cybersecurity, formal methods, cryptography, and quantum programming languages. The Department of Mathematics and
-
enable them to behave in ways that better align with user expectations or provide meaningful explanations when unexpected situations arise. We plan to represent and model expectations using formal methods
-
: Asset & Maintenance engineering, Intelligent Manufacturing Systems, Personalised Health Technology, Resilience Engineering, and Sustainable Production, Energy and Resources. We work on education and