[TYPES/announce] PhD positions in PL at the University of Bristol

[Alex Kavvos]

Dear all

The Programming Languages group at the University of Bristol is now inviting
PhD applications for the academic year starting in 2022. Funding for these
positions is allocated on a competitive basis across Engineering. Applicants
with UK residence are eligible, but around 30% will be allocated to outstanding
international applicants.

Deadline: 11 January 2022.

Please contact us ASAP at

  pl-lab at bristol.ac.uk

to express interest and/or ask questions.

The members of the PL group are:
- Alex Kavvos (semantics, type theory, category theory)
- Cristina David (program synthesis, verification, decision procedures)
- François Dupressoir (machine-checked cryptographic proofs)
- Steven Ramsay (program analysis, automated reasoning, verification)
- Meng Wang (functional programming, software engineering)

More information about the group can be found on our webpage:

  https://urldefense.com/v3/__https://bristolpl.github.io__;!!IBzWLUs!Bi2RtMygs_pMEPGezP3kiijP67py1Do3zkv1ykufTu3qCbmom6Tn9qKwghAiTLVdLOuz_kuTce787Q$ 

Please find a list of papers that demonstrates the breadth of research
conducted by the group at the end of this posting.

Best wishes

Alex



PS. The following papers indicate the type of PL research conducted at Bristol:

- Yamaguchi et al. (2022). Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. To appear at OOPSLA 2021.
- Perera et al. (2022). Linked visualisations via Galois dependencies. To appear at POPL 2022.
- Xie et al. (2022). Staging with Class. To appear at POPL 2022.
- 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

... Alex Kavvos
... Lecturer in Programming Languages
... University of Bristol, United Kingdom
... https://urldefense.com/v3/__https://www.lambdabetaeta.eu__;!!IBzWLUs!Bi2RtMygs_pMEPGezP3kiijP67py1Do3zkv1ykufTu3qCbmom6Tn9qKwghAiTLVdLOuz_ktVeKw3mQ$