coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
To: Katya Komendantskaya <komendantskaya AT gmail.com>
Subject: [Coq-Club] 2 PhD studentships in Computer Science at the University of Dundee
Date: Tue, 4 Aug 2015 10:29:46 +0100

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

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

[Coq-Club] 2 PhD studentships in Computer Science at the University of Dundee, Ekaterina Komendantskaya, 08/04/2015