[TYPES/announce] Research Fellow at UCL - Programming Principles, Logic, and Verification

; * probability theory; * automated reasoning; * logic and formal methods. Previous experience in developing automated software tools is desirable, but not essential. The role will be jointly managed by James Brotherston (and David Pym) at UCL and John Wickerson at Imperial College. While based

[TYPES/announce] Postdoc position at UCL in verification / logic / automated reasoning

the supervision of Dr. James Brotherston in the Programming Principles, Logic and Verification (PPLV) group at UCL; others involved in the project include Prof. Byron Cook and Dr. Reuben Rowe at UCL, and Dr. Nikos Gorogiannis at Middlesex University. For further information about the PPLV group, see http

[TYPES/announce] RA position in automated verification, logic and theorem proving at UCL

will be run under the supervision of Dr. James Brotherston and Prof. Byron Cook, in the Programming Principles, Logic and Verification (PPLV) group at UCL. Other permanent PPLV members include Prof. David Pym, Dr. Jade Alglave and Dr. Juan Navarro Perez. See pplv.cs.ucl.ac.uk for details

[TYPES/announce] Research positions in Verification, Logic and Theorem Proving at University College London

reasoning capability to the various components of interprocedural program analysis and thereby, hopefully, to extend the reach of current verification methods. The project will be run under the supervision of James Brotherston and Byron Cook, in the P