Re: [TYPES/announce] Postdoc position on security protocol verification at NTU Singapore

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apology for multiple postings. There was a typo in the previous posting regarding the application deadlines. Below is the corrected version. Regards, -Alwen -- One postdoc position is

[TYPES/announce] Postdoc position on security protocol verification at NTU Singapore

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] One postdoc position is available at the School of Computer Engineering, Nanyang Technological University (NTU) Singapore, for a project on verification of security protocols funded by the