[TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are recruiting for a PhD position "Efficient and natural proofs and algorithms" Funding: Competition funded (EU/UK) Deadline: 9 February 2020 Start:28 September 2020

[TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are recruiting for a PhD position "Efficient and natural proofs and algorithms" Funding: Competition funded (EU/UK) Deadline: 31 October 2018 - early application recommended