[TYPES/announce] Postdoc position on session types for Erlang, University of Glasgow

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref:077847 Grade 6/7: £29,614 - £33,309 / £36,382 - £40,927 per

[TYPES/announce] Fwd: PhD and postdoc positions in Software Security (Université Paris-Saclay, CEA List institute, France)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The BINSEC team ( https://urldefense.com/v3/__https://binsec.github.io__;!!IBzWLUs!DD1VnbNFBVrHBocvuIOIom1LMW3xgnHeTcrTV6RfG6jViqk4AyGKcK0JJBWCToG8Q1VF2r357XKKjA$ ) opens two PhD and one

[TYPES/announce] SMT 2022 - 20th International Workshop on Satisfiability Modulo Theories

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SMT2022 Call For Papers SMT 2022: 20th International Workshop on Satisfiability Modulo Theories Haifa, Israel, August 11-12, 2022 Conference website

[TYPES/announce] 2-Year Postdoctoral Fellowship in Program Synthesis at Grinnell College

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello all! I am happy to announce that I am offering a two-year postdoctoral fellowship studying the foundations of program synthesis and types starting in the Fall of 2022. This position

[TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] WebAssembly is a recently introduced portable virtual machine, to which code written in many high-level languages can be compiled in order to be executed in web browsers and other runtimes.