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%20...