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
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.