[TYPES/announce] Lectureship at Sussex (Foundations of Software Systems)

Bernhard Reus bernhard at sussex.ac.uk
Fri Jun 14 04:49:25 EDT 2013

The School of Engineering and Informatics is investing for the future in recruiting 15 new posts across areas of strategic importance to the school.  One area is within the Foundations of Software Systems group, where we are seeking to appoint a Lecturer in Computer Science.

The Foundation of Software Systems Group studies the theory and practice of future computation and communication, undertaking internationally ranked research ranging from the logical foundations of programming languages through to the deployment of large scale ad hoc networks.  We are inviting applications from candidates with research interests in computing systems, computer networks, programming language design, or related areas.  The appointee will be expected to teach across core areas of computer science, such as computer networks, operating systems and software engineering.

Applications should be accompanied by a full CV, and statements of future research plans and ways in which applicants could contribute to teaching across the School.

Informal enquiries may be addressed either to Dr I Wakeman, Head of the Foundation of Software Systems Group, ianw at sussex.ac.uk ; or Professor D J Mynors, Head of School, D.J.Mynors at sussex.ac.uk.


Note that excellent candidates with research in theoretical subjects (like type theory or logic) are encouraged to apply as long as they can demonstrate willingness to teach in more applied areas of computer science as indicated in the advert. Ideally, applicants also have research interests that are "compatible with systems/software centred subjects".


More information about the Types-announce mailing list