Lectureships at Leicester
I would like to announce three Lectureships in Computer Science, which
may be of interest to TYPES readers.
Leicester has a research group working in Semantics which includes
Simon Ambler, Neil Ghani, Fer Jan de Vries, Alexander Kurz,
Vincent Schmitt and myself. Current research areas include
Operational Semantics, Mechanized Reasoning, Categorical Models of
Programming Languages including Concurrency, Categorical Term
Rewriting, and Enriched Category Theory.
These areas are directly or indirectly connected with the theory and
practice of types.
The lectureships are advertised for the area of Software Engineering,
but, to cite from the official announcement at
"outstanding applicants with expertise in any related area of Computer
Science are welcomed".