After Russia's invasion of Ukraine started, more than two million Ukrainians have fled to other countries. Many Belarusians and Russians are leaving their countries too. Some of these people are young researchers who are trying to transfer or start their graduate studies in a different place. While we understand that this is too late in the admission cycle, if your lab or group has an opening (M.S./Ph.D./internship/research visit) in any area of computer science or related fields starting in Fall '22 or sooner, please consider signing up using the form below.

Ekaterina Komendantskaya

Email: komendantskaya@gmail.com
Webpage: https://www.macs.hw.ac.uk/~ek19/
Position description: The Lab for AI and Verification (laiv.uk) at Heriot-Watt University, Edinburgh is looking to fill 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 Ekaterina Komendantskaya (ek19@hw.ac.uk) and Matthew Daggitt (md2006@hw.ac.uk) by the 3rd April 2022.

Useful Links: