Sort by
Refine Your Search
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. In particular, game theory has become a powerful tool for the
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
algorithms, their theoretical analysis and verification. This is a year-to-year appointment, contingent upon funding and performance. Outstanding UA benefits include health, dental, vision, and life insurance
-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
-
and transparency in AI-driven decision-making? We are looking for candidates interested in conducting research in one or more of the following areas: - Runtime verification under uncertainty
-
with strong demonstrable ties to UCT will also be considered. Preferred Qualifications Experience with multiple blockchain platforms Knowledge of formal verification methods Experience with DApp
-
with a human-centric, sustainability-driven approach. The Postdoctoral researcher will work on using AI-powered methods, testing, and simulation technologies for the verification and validation
-
. You have significant experience in architecture and/or in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore