[TYPES/announce] Research Positions in Logic & Verification at UCL (amended closing date: 14 May 2018)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings, but please share widely. Thank you.] Research Associates in Programming Principles, Logic, and Verification (PPLV) University College London London, UK Two p

[TYPES/announce] Research Positions in Logic & Verification at UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings, but please share widely. Thank you.] Research Associates in Programming Principles, Logic, and Verification (PPLV) University College London London, UK