Lecturer in Programming Principles, Logic, and Verification at UCL
University College London has an opening for Lecturer or Associate Professor in Programming Principles, Logic, and Verification. See here for further details.
A sharing platform for the Computer-Aided Verification community
University College London has an opening for Lecturer or Associate Professor in Programming Principles, Logic, and Verification. See here for further details.