Job in Logical Foundations and Formal Methods at Cambridge.

[Marcelo Fiore]

This is to draw attention and encourage applications to an assistant/associate professor

     job opportunity in logical foundations and formal methods

at the Department of Computer Science and Technology, University of Cambridge, with

closing date for applications on 5 December 2022. 

I will be happy to receive informal enquiries about the post by email,

Marcelo.