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