[TYPES/announce] Postdoctoral position in Birmigham, UK

[Dan Ghica]

Dear all,



I am currently advertising a 3 year EPSRC postdoctoral position at the
University of Birmingham with the stated topic of semantics-direct compiler
construction. The project is in collaboration with Graham Hutton at the
University of Nottingham.



We are mainly interested in the semantic aspects of this problem, rather
than the engineering details. In particular I am interested in abstract
machines and string diagrams, used in the tradition of interaction nets.
However, a postdoc who is interested in industrial applications will have
the option of an internship at the Huawei Edinburgh Programming Languages
Laboratory which I lead.



*In making the appointment I will favour a strong and independent-minded
candidate, rather than strict alignment with the project topic. *



I would be immensely grateful if you could forward this to any potential
candidates whom you think might fit this profile.



More details and application instructions are here:
https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DIE133/research-fellow__;!!IBzWLUs!Vv7sJQT9sbb56M0kb7Ox7_ltZLe6vKtFRu1sX0dyYKjUmzXlfz5wpxa-6pArGutv4o_NhAVTIjjZ_hcseimqSXM0T_TaOLk16EH5bAk$  but feel free to contact
me directly as well.



The following tutorial paper gives quite a lot of relevant background
information for this project https://urldefense.com/v3/__https://arxiv.org/abs/2305.18945__;!!IBzWLUs!Vv7sJQT9sbb56M0kb7Ox7_ltZLe6vKtFRu1sX0dyYKjUmzXlfz5wpxa-6pArGutv4o_NhAVTIjjZ_hcseimqSXM0T_TaOLk1HOVfwnM$ .



Best wishes

Dan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240625/17962e83/attachment-0001.htm>