[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

[TYPES/announce] PhD studentship in logic and verification at UCL (clarified closing date, 27 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.] A PhD studentship in the area of logic and verification is available at UCL's PPLV group. The studentship is aligned

[TYPES/announce] PhD studentship 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 with potential candidates. Thank you.] A PhD studentship in the area of logic and verification is available at UCL's PPLV group

[TYPES/announce] PhD studentship in logic and verification at UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking to hire an exceptionally able and highly-motivated PhD student in the area of logic and verification to work in UCL's PPLV group. We are particularly keen to find someone

[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

[TYPES/announce] PhD Position 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.] A PhD studentship in the area of logic and verification is available at UCL's PPLV group. The studentship is aligned

[TYPES/announce] Faculty position in logic and verification at UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science at University College London (UCL, https://www.ucl.ac.uk) invites applications for a faculty position (Lecturer or Associate Professor) in the area of

[TYPES/announce] PhD Studentship at UCL: A Coalgebraic framework for reductive logic and proof-search

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings: please circulate widely. Thank you.] PhD Studentship: A Coalgebraic framework for reductive logic and proof-search We are seeking to appoint a PhD student in

[TYPES/announce] Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share widely. Apologies for cross-postings.] Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems Research Fellow in Programming Principles, Logic, and

[TYPES/announce] PhD Studentship in Logic and Systems Verification at UCL [Corrected start-date]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share with possible candidates, especially graduating Master’s students in relevant areas. Thank you, and apologies for cross-postings.] PhD studentship in logic and systems

[TYPES/announce] Research Fellowship at UCL and LSE for the IRIS project

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Fellow - Programming Principles, Logic and Verification Group, - Ref:1820659 University College London is seeking to appoint a Research Fellow for examining modelling of large

[TYPES/announce] Research Fellow Positions at UCL PPLV, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings, but please share freely. Thank you.] Two Research Fellow positions at UCL’s Programming Principles, Logic, and Verification group. I am looking two

[TYPES/announce] Faculty position at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Open position at UCL: Lecturer or Associate Professor, Programming Principles, Logic, and Verification (PPLV). The Department of Computer Science at University College London (UCL,

[TYPES/announce] Research position at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research position at UCL, London: Research Fellow in Programming Principles, Logic, and Verification: Systems Security Modelling The PPLV group conducts world-leading research in

[TYPES/announce] PhD position in Logic & Security at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings. Please share widely.] I am looking for a PhD student in logic, in the PPLV group

[TYPES/announce] Research Fellows in Logic at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings. Please share widely. Thank you.] I am looking for Research Fellows in Logic to join me in UCL’s PPLV group

[TYPES/announce] Research Fellows in Logic at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please note, with my apologies, an error in the information below: the closing date should read 31 October. Thank you to the many people who have pointed this out.

[TYPES/announce] Fully funded PhD Studentship in Proof-theoretic Semantics at UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fully funded PhD Studentship in Proof-theoretic Semantics at UCL - Supervisors: David Pym (UCL CS and Philosophy), Elaine Pimentel (UCL CS), Tim Button (UCL Philosophy) - Research