[TYPES/announce] Two positions at the University of Edinburgh

[Philip Wadler]

Two positions at the University of Edinburgh. I need not tell readers of
this list that Edinburgh is a leader in types and formal methods, and that
applicants with a programming language background will be welcome for both
positions.

Chair in Software Engineering
https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=039363

University Teacher
https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=039641

Yours, -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science
.   /\ School of Informatics, University of Edinburgh
.  /  \ http://homepages.inf.ed.ac.uk/wadler/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170429/ccd40079/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170429/ccd40079/attachment.ksh>