[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Bath is hiring a lecturer (assistant professor) in Computer
Science.
We are looking in particular for strong candidates to join our Mathematical
Foundations group:
http://www.bath.ac.uk/projects/mathematical-foundations-of-computation/
The vacancy and online application form are here:
http://www.bath.ac.uk/jobs/Vacancy.aspx?ref=CC7055
Note the deadline:
20 October 2019
The post is a replacement for John Power, who retired this summer. Though it is
open to the other research areas in the department (HCI, Graphics & Vision,
AI), we expect to prioritise excellent candidates who complement our current
specialities in the Mathematical Foundations area:
* Computer Algebra
* Cryptography
* Lambda-calculus
* Proof Theory
* Real Algebraic Geometry
* Semantics
For any questions about the post or the recruitment process, please contact:
Alessio Guglielmi <a.guglie...@bath.ac.uk>
Willem Heijltjes <w.b.heijlt...@bath.ac.uk>
