PhD Scholarship Heriot-Watt University, Scotland
by Ekaterina Komendantskaya, March 16, 2022The Lab for AI and Verification (laiv.uk), 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 (ukri.org) and Schlumberger Cambridge (slb.com). 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.
