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

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.