categories - Category Theory list
 help / color / mirror / Atom feed
* Postdoc in Birmingham
       [not found] <LO2P265MB5208CF78D671EE68E22038F292D52@LO2P265MB5208.GBRP265.PROD.OUTLOOK.COM>
@ 2024-06-28  3:23 ` Dan Ghica
  0 siblings, 0 replies; only message in thread
From: Dan Ghica @ 2024-06-28  3:23 UTC (permalink / raw)
  To: categories

[-- Attachment #1: Type: text/plain, Size: 2006 bytes --]

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 also 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://www.jobs.ac.uk/job/DIE133/research-fellow<https://url.au.m.mimecastprotect.com/s/70ZmCr810kCBy27lT7LCJa?domain=jobs.ac.uk> 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://arxiv.org/abs/2305.18945<https://url.au.m.mimecastprotect.com/s/NEhqCvl1g2SkJAqziXZ52-?domain=arxiv.org>.

Best wishes
Dan



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 7423 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-06-28  7:24 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <LO2P265MB5208CF78D671EE68E22038F292D52@LO2P265MB5208.GBRP265.PROD.OUTLOOK.COM>
2024-06-28  3:23 ` Postdoc in Birmingham Dan Ghica

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).