News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Three doctoral and five post-doctoral positions on AI verification, Scotland (UK)

Deadline: Monday 1 June 2020

Five postdoctoral and three PhD positions are available in the research project AISEC: AI Secure and Explainable by Construction,  at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK.

The project spans several subjects: type theory, automated and interactive theorem proving, security, AI and machine learning, autonomous systems, natural language processing and generation, legal aspects of AI. It will cover two main application areas: autonomous cars and chatbots, drawing from expertise and infrastructure provided by industrial partners working in these two areas. The project has a significant international span, with 12 partners from Academia and Industry in Europe (France, Germany, Israel, the Netherlands, Norway) and the US.

Please note that this newsitem has been archived, and may contain outdated information or links.