[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Department of Computer Science at the University of Bath is seeking to
appoint two new members of staff to join the Mathematical Foundations of
Computation group:
https://urldefense.com/v3/__https://www.bath.ac.uk/research-groups/mathematical-foundations-of-computation/__;!!IBzWLUs!SXTat20K4F8dvDX0lS11PEqFD0p2a0axXZJEEL9SGriRTDqKmdgz4WZzSVZFfNewHAKDdtwp4jCftNyAQ1o3InkCgh4PdZGn$
We're particularly looking for individuals with research interests in
- mathematical logic
- the theory of programming languages
- computer assisted reasoning, including computer algebra
The official job announcements and online application forms can be found here:
https://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11492__;!!IBzWLUs!SXTat20K4F8dvDX0lS11PEqFD0p2a0axXZJEEL9SGriRTDqKmdgz4WZzSVZFfNewHAKDdtwp4jCftNyAQ1o3InkCghqvIaTC$
(Lecturer)
https://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11490__;!!IBzWLUs!SXTat20K4F8dvDX0lS11PEqFD0p2a0axXZJEEL9SGriRTDqKmdgz4WZzSVZFfNewHAKDdtwp4jCftNyAQ1o3InkCgrZoZn4W$
(Senior Lecturer/Reader)
*Important dates*
Application deadline: 5 April 2024
Interviews to be held between: 7 - 9 May 2024
For any questions about the post or the recruitment process, please contact
Thomas Powell (trjp20 AT bath.ac.uk).
