This is to draw attention and encourage applications to an assistant/associate professor job opportunity in logical foundations and formal methods <https://www.jobs.cam.ac.uk/job/37369/> 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]