[Haskell-cafe] Research fellow position at University of Bristol

Meng Wang meng.wang at bristol.ac.uk
Fri May 20 08:42:43 UTC 2022

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.)


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220520/bb7a3239/attachment.html>

More information about the Haskell-Cafe mailing list