[TYPES/announce] several open positions in rigorous systems/software engineering with applied formal methods for trustworthy elections

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi all, While I am still a Principal Scientist at Galois , we are now in the middle of officially spinning out Free & Fair as a separate Public Benefit Corporation.

[TYPES/announce] Job announcement: 2 research engineers in dependable scientific computing & 1 PhD student in applied formal methods

tate University, the University of Washington, and others. Applicants for Ph.D. positions should have achieved at a first (or equivalent) in Computer Science and have a keen interest in research. Applicants should return a completed application form with referee reports CV to Joseph Kiniry at