[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have a new opening for a permanent position at the Edinburgh PL Lab.
Unlike previous years when we focused on programming languages and compilers,
we are now opening up to verification and validation researchers.
Email me for any queries or apply directly at:
https://urldefense.com/v3/__https://huaweiuk.teamtailor.com/jobs/2474908-programming-languages-research-engineer__;!!IBzWLUs!XnTNaOGoGxtDpAJPcq_UUWvrsk1mV-Iak38NVN0EVFaSZA0YkzJb1I96vKhzL0NrkAgEy9Gm0xb1aA4gi5O6hoSL304GSMSfuQ$
--
Prof. Dan R. Ghica
Director, Programming Languages Laboratory
Edinburgh Research Centre, Central Software Institute
Huawei Technologies Research and Development UK
Try CangJie today:
https://urldefense.com/v3/__https://cangjie-lang.cn/en__;!!IBzWLUs!XnTNaOGoGxtDpAJPcq_UUWvrsk1mV-Iak38NVN0EVFaSZA0YkzJb1I96vKhzL0NrkAgEy9Gm0xb1aA4gi5O6hoSL306mSWKTIQ$
This email and all its attachments contain personal data and must therefore be
treated in accordance with Huawei's Data Protection Policy
