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

[Meng Wang]

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 at bristol.ac.uk>
Date: Friday, 20 May 2022 at 09:42
To: haskell-cafe at haskell.org <haskell-cafe at haskell.org>, haskell at haskell.org <haskell at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220528/27c5244f/attachment.html>