The Coq mailing list

[Ekaterina Komendantskaya <komendantskaya AT gmail.com>]

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