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
Date: Friday, 20 May 2022 at 09:42
To: haskell-cafe@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
