PhD student position in formal verification of ethical principles of AI, Umea (Sweden)

Umeå University, the Department of Computing Science, is seeking outstanding candidates for a Wallenberg Autonomous Systems Program (WASP) PhD student position in Computer Science with focus on formal verification of ethical principles of AI systems.

An important research area in AI is the development of theories and methods for control and verification of AI systems that adapt to their environment without direct intervention of the users. Trust in the system requires that we are able to ensure that the system complies with societal values and ethical principles, such as fairness, non-discrimination, safety or privacy. This requires going beyond traditional verification and monitoring methods. Theories and tools are needed to specify computational representations of these concepts, and to verify that a given system complies with these. In this project, you will develop methods to verify and monitor the ethical behavior of AI systems based on the observation of input and output behavior according to a continuously evolving societal optimum.

Reference number: AN 2.2.1-2063-18.