[Hol-info] PhD and PostDoc Positions at the University of Innsbruck, Austria

We invite applications for PhD student and PostDoctoral researcher positions (3 years) funded by the Austrian Science Fund project Interactive Proof: Proof Translation, Premise Selection, Rewriting at the Computational Logic research group of the Institute of Computer Science at the University of

[Hol-info] lectureships at Imperial, including in verification

Sorry for the global email. Please find below the announcement of three lectureship positions at Imperial, with verification being one of the emphasised fields. We have a great group of people working on many styles of analysis and verification, and are very keen to build on our strengths