[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hiring Programming Languages Principal Researcher / Research Engineer in Huawei
Edinburgh Research Centre:
* effect handlers,
* effect types,
* safe concurrency,
* ownership types,
* actors/active objects,
* distributed computing,
* compilers.
We have ongoing research collaborations with the University of Edinburgh,
Imperial College, and TU Berlin.
Apply now or email me for questions.
https://urldefense.com/v3/__https://huaweiuk.teamtailor.com/jobs/2474908-programming-languages-principal-research-engineer?promotion=1517324-trackable-share-link-dans__;!!IBzWLUs!SyozRufWzz_H59BKnwrl_vn860JmB3XVyB-5Khmk4cJRV7Vznd5ToP6SVEyMiHQayNgV4CMYB_Z0ba-9QDFeQOEkuLaFIcu0fQ$
Regards
Dan Ghica
--
Prof. Dan R. Ghica
Director, Programming Languages Laboratory
Edinburgh Research Centre, Central Software Institute
Huawei Technologies Research and Development UK
This email and all its attachments contain personal data and must therefore be
treated in accordance with Huawei's Data Protection Policy
