The research group Responsible Artificial Intelligence (RAI) at the Department of Computing Science at Umeå University is seeking outstanding candidates for a post-doctoral position in Computer Science with focus on formal verification of algorithmic decision-making systems.

Research project

Automated decision‐making (ADM) systems are increasingly extending and replacing human decisions in a large number of situations areas, with significant impacts on people’s lives and society. The responsible design and use of these systems requires methods and tools to support accountability and the verification of how decisions are aligned with human rights and democratic principles.

This project extends our current work on Glass Box methods, focussing on the formal specification and verification of ethical principles. More precisely, the postdoc is expected to develop formal models and theories that, given a set of features (representing ethical values and/or societal requirements) can determine how to mathematically represent those features to verify the alignment of an ADM. The project is expected to deliver a sound theoretical framework to guide the verification of ADM systems and the choice of formal accountability provisions.

More Information and Application

View all positions
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners. View more
Cookies settings
Privacy & Cookie policy
Privacy & Cookies policy
Cookie name Active
The WASP website uses cookies. Cookies are small text files that are stored on a visitor’s computer and can be used to follow the visitor’s actions on the website. There are two types of cookie:
  • permanent cookies, which remain on a visitor’s computer for a certain, pre-determined duration,
  • session cookies, which are stored temporarily in the computer memory during the period under which a visitor views the website. Session cookies disappear when the visitor closes the web browser.
Permanent cookies are used to store any personal settings that are used. If you do not want cookies to be used, you can switch them off in the security settings of the web browser. It is also possible to set the security of the web browser such that the computer asks you each time a website wants to store a cookie on your computer. The web browser can also delete previously stored cookies: the help function for the web browser contains more information about this. The Swedish Post and Telecom Authority is the supervisory authority in this field. It provides further information about cookies on its website,
Save settings
Cookies settings