[TYPES/announce] Research Position in Verified Confidentiality for Weak Memory Concurrency

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Position in Verified Confidentiality for Weak Memory Concurrency https://people.eng.unimelb.edu.au/tobym/researcher19-weak-memory.html I am seeking an exceptional researcher

[TYPES/announce] Research position in Verified Confidentiality for Weak Memory Concurrency, Melbourne

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies if you receive multiple copies of this message] I am seeking an exceptional researcher (Research Assistant or postdoctoral Research Fellow) to research methods for verifying