[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 (https://urldefense.com/v3/__http://pplv.cs.ucl.a

[TYPES/announce] One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We (Gabriel Scherer and Noam Zeilberger) are looking for candidates for a one-year post-doc position, ideally starting in January 2022, at INRIA Saclay / École Polytechnique (in the Paris a