[TYPES/announce] Postdocs in assurance research

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are seeking postdoctoral researchers to work in a small, agile team at NASA Ames Research Park in Silicon Valley on the multi-year QUASAR project (Quantifiable Assurance Cases for Trusted

[TYPES/announce] 3 Assoc Profs/Profs positions at University Paris 7 / Paris Diderot

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University Paris Diderot - Paris 7 has opened three faculty positions: * 1 professor. Priority: Graphs and applications * 1 assistant professor. Priority: software science * 1 assistant

[TYPES/announce] Multiple PhD and Postdoc positions, Security and Privacy Group, TU Wien, Austria (ERC, FWF, FFG grants)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Security & Privacy group at TU Wien is currently looking for outstanding Ph.D. and postdoc applicants, with a particular focus on - web security - formal methods for security and

[TYPES/announce] Second Call for Papers: PACMPL issue ICFP 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PACMPL Volume 2, Issue ICFP 2018 Call for Papers accepted papers to be invited for presentation at The 23rd ACM SIGPLAN