[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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