Hello,

School of Sciences and Engineering, University of Dundee,

advertises two PhD studentships in the area of Computer Science. 

Applicants  interested in Programming languages, Logic and Automated/Interactive theorem proving are encouraged.

Further details are available here:

Best regards,

Katya