PhD Scholarship Heriot-Watt University, Scotland

by Ekaterina Komendantskaya, March 16, 2022

The Lab for AI and Verification (, Heriot-Watt, Edinburgh, Scotland is looking to fill in one PhD post. We are looking for a candidate with solid knowledge of Theorem Proving and/or Functional/Logic programming, and enthusiasm to apply this knowledge in the domain of Artificial Intelligence.

The post is for 4 years, starting in September 2022. It covers full stipend and PhD fees, and is sponsored by the UKRI ( and Schlumberger Cambridge ( The company will provide additional training and support during the PhD studies. 

Please direct all queries to Matthew Daggitt ([email protected].uk) and Ekaterina Komendantskaya ([email protected].uk) by the 3rd April 2022.