[TYPES/announce] Postdoc position on specification and verification of heterogeneous systems at Imperial

[Donaldson, Alastair F]

Hi all

John Wickerson and I have an opening for a two year postdoc on specification and verification of heterogeneous systems, and their programming languages. See here for details<https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CQR812/research-associate-in-formal-specification-and-verification-of-heterogeneous-systems__;!!IBzWLUs!RTdRWG82UfjifnKG9qWHNkfFuKEIOs_5CCDu2nWut3xKMibHDtnr5Mf4_g7mfKPnE0ssn0R8cnBaThj6bBntg0GrH5etY34WkpZ6PmHRePLa-E8$ >. I'd be very grateful if you should share this with folks who might be interested.

Feel free to contact either me<https://urldefense.com/v3/__https://multicore.doc.ic.ac.uk/__;!!IBzWLUs!RTdRWG82UfjifnKG9qWHNkfFuKEIOs_5CCDu2nWut3xKMibHDtnr5Mf4_g7mfKPnE0ssn0R8cnBaThj6bBntg0GrH5etY34WkpZ6PmHRSZc0UW8$ > or John<https://urldefense.com/v3/__https://johnwickerson.github.io/__;!!IBzWLUs!RTdRWG82UfjifnKG9qWHNkfFuKEIOs_5CCDu2nWut3xKMibHDtnr5Mf4_g7mfKPnE0ssn0R8cnBaThj6bBntg0GrH5etY34WkpZ6PmHRXD01De8$ > if you're interested in applying and would like to chat informally first.

Thanks!

Ally

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220617/1ef540b5/attachment-0001.htm>