[TYPES/announce] Three Lectureships in Computer Science at Sussex

[Bernhard Reus]

The School of Engineering and Informatics at the University of Sussex is appointing new academic staff in Computer Science as part of a strategy to grow and complement the current strengths in the Department of Informatics.

There are three new positions  -- "Lecturer in Computer Science“ -- created to work in the Department of Informatics. This position is equivalent to Assistant Professor.

The successful candidate will undertake research and teaching within the department. They will be associated with one of the research groups (Artificial Intelligence, Creative Technology, Foundations of Software Systems) and expected to teach at undergraduate and postgraduate levels.

Research in the "Foundations of Software Systems" group subsumes Type Theory, Logic, and Program Verification.

For more information please see:

https://urldefense.com/v3/__https://www.sussex.ac.uk/about/jobs/lecturer-in-computer-science-ref-20110-20111-20112__;!!IBzWLUs!VMhHsVRH_Aly-Rb5sw0PF3iv-t8k-yRWDyN0o__QWFuamZGS7zMYJIU18kzw-VLRIFd8gYfsaOvi8vRKJ4ME7le2Ai2LeGtWHpue$ 


Best,
 Bernhard

——
Dr Bernhard Reus
Head of Foundations of Software Systems
Department of Informatics
University of Sussex