[Haskell] Senior Research Associate in Programming Languages at Bristol

[Meng Wang]

Dear Haskellers,

I am recruiting a Postdoctoral Researcher in Programming Languages to join my group at Bristol [1,2]. The successful candidate will have the freedom to pursue self-directed research in areas such as functional programming, program verification/analysis, program synthesis, and type theory. Applicants must demonstrate a strong track record of high-quality research and possess excellent interpersonal skills. In return, the post holder will benefit from a dynamic research environment, strong career support, and extensive collaboration opportunities. The position is initially for 18 months, with the possibility of extension. The application deadline is 26 March 2025. Please pass this message on to whoever may be interested. Many thanks!

Best regards,
Meng

Meng Wang, PhD (Oxon)
Reader of Programming Languages
Head of Bristol PL research group
Head of Core computer science
School of Computer Science, University of Bristol

[1] https://plrg-bristol.github.io/
[2] https://www.bristol.ac.uk/jobs/find/details/?jobId=372879&jobTitle=Senior%20Research%20Associate%20in%20Programming%20Languages


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20250226/3a69c91f/attachment.html>