[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Department of Computer Science at Princeton University solicits
applications for a postdoctoral (or a more senior) research position
in the Verified Software Toolchain project. The positi
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POSTDOC POSITION IN MACHINE-VERIFIED SEMANTICS AT PRINCETON
The Programming Languages group at Princeton University's Department of
Computer Science is soliciting applications for a pos