[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
