[TYPES/announce] Deadline Extension: JSC Special Issue on Symbolic Computation in Software Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deadline extension Special issue of the JOURNAL OF SYMBOLIC COMPUTATION on SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE

[TYPES/announce] postdoctoral associate position on formal verification of security, based in London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Greetings, I am hiring a postdoctoral associate for 14 months on a project having the following goals: (1) Develop an expressive, compositional and quasi-automated framework for