[Proof Complexity] Position in Formal Verification of AI at Glasgow

[Jakob Nordström]

Dear colleagues,

On behalf of Ciaran McCreesh, I would like to share the information that 
the University of Glasgow is looking to recruit a lecturer / senior 
lecturer / reader in formal analysis of AI systems. The intention is for 
this research area to be interpreted quite broadly, and so this could 
certainly include automated reasoning, combinatorial solving, theorem 
proving, or computational complexity. Further details can be found in 
the job posting 
https://www.jobs.gla.ac.uk/job/lecturer-slash-senior-lecturer-slash-reader-in-foundational-ai 
.

If you think this sounds potentially interesting and have any questions 
about the role, life in Scotland, or how your research might fit in with 
existing activities within the University of Glasgow, then you are more 
than welcome to contact Ciaran McCreesh at Ciaran.McCreesh at glasgow.ac.uk 
for an informal chat.

Best regards,
Jakob Nordström


Jakob Nordström, Professor
University of Copenhagen and Lund University
Phone: +45 28 78 38 11 / +46 70 742 21 98
https://jakobnordstrom.se