[Agda] Postdoctoral Research Position: Type Inference in Functional
Programming
Ekaterina Komendantskaya
komendantskaya at gmail.com
Sat Jun 7 18:30:49 CEST 2014
Hello,
I am looking for a
postdoctoral researcher to work on developing new algorithms for type
inference in functional languages.
Position is based at the School of Computing, University of Dundee,
Scotland.
Closing date for applications is 20 June 2014; starting date is flexible.
Salary scale: £27,837 to £36,661 per annum.
More details are available here:
https://docs.google.com/document/d/1UUuf-BllmQ925vLV6jtzKreDcZYEOsF96dtj_IKVvj0/edit?usp=sharing
Please re-forward to potential applicants.
Cheers,
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://lists.chalmers.se/pipermail/agda/attachments/20140607/c4bd4bf0/attachment.html
More information about the Agda
mailing list