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

[Ekaterina Komendantskaya]

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/1ggi4S2DBS1IqB3fqyFBkKbrArYJRUiOybIfW7VdkG1w/edit?usp=sharing

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150804/59074902/attachment.html>