Re: Research fellow position at University of Bristol

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 <[email protected]>
Date: Friday, 20 May 2022 at 09:42
To: [email protected] <[email protected]>, [email protected] <[email protected]>
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

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.