[TYPES/announce] Postdoc at UCL on weak memory verification with Jade Alglave

[Savage, Julia]

Dear all

The PPLV Group at UCL have the following Post Doc vacancy:
Research Associate in Verification of Concurrent Programs Running Under Weak Memory - Ref:1374600
Application deadline:  Saturday 23rd November 2013.
For more details please see this link: https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5041404&ownertype=fair&jcode=1374600&vt_template=965&adminview=1
Kind Regards
Julia

Julia Savage
Research Administrator for the PPLV Group (Programming Principles, Logic and Verification)
PA to Professor David Pym
UCL Department of Computer Science
Room 5:07, Malet Place Engineering Building
Gower Street
London WC1E 6BT
Tel: 020 7679 0327 Ext:30327
Email: j.savage at ucl.ac.uk<mailto:j.savage at ucl.ac.uk>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20131114/5a985218/attachment-0001.html>