Dear All,

Here is the second post at Bristol PL group. It is at the research associate level which is suitable for fresh PhD graduates. https://www.bristol.ac.uk/jobs/find/details/?jobId=274941&jobTitle=Research%20Associate%20or%20Senior%20Research%20Associate

Best regards,

Meng Wang, PhD (Oxon)

Senior Lecturer of Programming Languages

Head of PL research group

School International Director

SCEEM (CS, EEE, EMath) School, University of Bristol

From: Meng Wang <meng.wang@bristol.ac.uk>
Date: Friday, 20 May 2022 at 09:42
To: haskell-cafe@haskell.org <haskell-cafe@haskell.org>, haskell@haskell.org <haskell@haskell.org>
Subject: Research fellow position at University of Bristol

Dear Haskellers,

The programming languages group at Bristol is recruiting a research fellow to join our dynamic research group https://bristolpl.github.io/. Our research is ranked highly internationally and there is a strong focus on Haskell. We welcome functional programmers anywhere in the world to apply! (Another similar post at the level of research associate is also available.)

https://www.bristol.ac.uk/jobs/find/details/?jobId=274355&jobTitle=Research%20Fellow

Meng Wang, PhD (Oxon)

Senior Lecturer of Programming Languages

Head of PL research group

School International Director

SCEEM (CS, EEE, EMath) School, University of Bristol

PS. A selection of recent papers can be found below. They should give a good indication of the type of PL research conducted at Bristol:

- Perera et al. (2022). Linked visualisations via Galois dependencies. POPL 2022. 10.1145/3498668

- Xie et al. (2022). Staging with Class. POPL 2022. 10.1145/3498723

- Yamaguchi et al. (2021). Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. OOPSLA 2021. 10.1145/3485482

- Qian Z et al. (2021). Client-Server Sessions in Linear Logic. ICFP 2021. 10.1145/3473567

- Jones E & Ramsay S. (2021). Intensional Refinement Datatypes. POPL 2021. 10.1145/3445980

- Gratzer D et al. (2020). Multimodal Dependent Type Theory. LICS 2020. 10.1145/3373718.3394736

- Matsuda K & Wang M. (2020). Sparcl: A Language for Partially-Invertible Computation. ICFP 2020. 10.1145/3409000

- Zhang J et al. (2019). A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Transactions on Software Engineering. 10.1109/TSE.2019.2961897

- Abate A et al. (2019). Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants. Acta Informatica, vol 57. 10.1007/s00236-019-00359-1

- Almeida et al. (2019). Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS 2019. 10.1145/3319535.336321