[Haskell-cafe] 2 PhD studentships in Computer Science at the University of Dundee

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: https://docs.google.com/document/d/1ggi4S2DBS1IqB3fqyFBkKbrArYJRUiOybIfW7Vdk... Best regards, Katya Ekaterina Komendantskaya Senior Lecturer, Head of PhD Studies Room 1.04, Queen Mother Building School of Computing, University of Dundee Scotland, DD14HN Tel: (+44) 01382384820