[TYPES/announce] Lectureship positions in Bath

[Thomas Powell]

The Department of Computer Science at the University of Bath has vacancies for academic appointments across its four main research groups:

https://urldefense.com/v3/__https://www.bath.ac.uk/campaigns/join-the-department-of-computer-science/__;!!IBzWLUs!S4r7Y4lXGjnqHYV6OjZkxbfR3Cb05weT9H4aI0DgUVM8ttndA2tFlKtVpXiGWzV4r7W29pb8g_dzs4YD1-sPPjXB0GtKuH9G$ 

This includes the Mathematical Foundations of Computation group, where we are particularly looking for individuals with research interests in areas around formal mathematics and computer assisted reasoning, including but not limited to:

- proof assistants (e.g. Agda, Coq, Isabelle, Lean)
- certified mathematical libraries
- logical systems, proof theory and type theory
- certified programming and program synthesis
- automated reasoning
- applications of AI and machine learning to formal mathematics

The official job announcement and online application form can be found here:

https://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11636__;!!IBzWLUs!S4r7Y4lXGjnqHYV6OjZkxbfR3Cb05weT9H4aI0DgUVM8ttndA2tFlKtVpXiGWzV4r7W29pb8g_dzs4YD1-sPPjXB0LYPt519$ 

*Important dates*

Application deadline: 15 October 2024
Interviews are planned to take place on the 25, 26, 27 November and 2 and 3 December 2024.

For any questions about the post or the recruitment process, please contact James Davenport (masjhd AT bath.ac.uk) or Thomas Powell (trjp20 AT bath.ac.uk).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240916/7d7fbd04/attachment-0001.htm>