What are the responsibilities and job description for the Senior Research Associate in Programming Languages position at University of Bristol - School of Physiology, Pharmacology and Neuroscience?
The role
This role involves leading research under the supervision of Professor Meng Wang on the EPSRC project Complex Semantics for Higher Order Abstract Syntax. The project builds on our recent papers: Contextual Embeddings: Implementing Bound Variables through Instance Resolution (PLDI 2026) and Embedding by Unembedding (ICFP 2023). It aims to further develop the theoretical foundations of this framework while also promoting its wider adoption.
The post holder will be part of the Bristol Programming Languages research group. The group has a strong international reputation and a wide range of interests, including functional programming, program verification and analysis, program synthesis, and type theory. It is well-connected with leading research groups worldwide, with research supported by major funding agencies and industry leaders. More information about the group can be found here: https://plrg-bristol.github.io/.
The post holder will enjoy the freedom to pursue research in any of the above-mentioned area and will be part of a dynamic team of 5 academics and several PDRAs and PhD students. You will enjoy excellent support both academically and financially to advance your research career. In turn, you are expected to conduct high quality research and contribute to the dynamic research culture. The employment is initially for two years with the possibility of extensions.
What will you be doing?
Research Responsibilities
You Have:
1 Relevant Experience, Skills and Knowledge
2 Relevant Qualifications
3 Communication and Interpersonal Skills
To Find Out More About What It's Like To Work In The Faculty Of Engineering, And How The Faculty Supports People To Achieve Their Potential, Please See Our Staff Blog:
https://engineering.blogs.bristol.ac.uk/category/engineering-includes-me/
Contract type: Open ended with fixed funding until 31/08/2028
Work pattern: Full time
Grade: J
Salary: £43,482 - £50,253 per annum
School/Unit: Computer Science
This advert will close at 23:59 UK time on 26/05/2026
Shortlisting is expected to take place on 29/05/2026
Interviews will take place on 08/06/2026
For informal queries please contact: Professor Meng Wang (meng.wang@bristol.ac.uk).
Our strategy and mission
We recently launched our strategy to 2030 tying together our mission, vision and values.
Available documents
This role involves leading research under the supervision of Professor Meng Wang on the EPSRC project Complex Semantics for Higher Order Abstract Syntax. The project builds on our recent papers: Contextual Embeddings: Implementing Bound Variables through Instance Resolution (PLDI 2026) and Embedding by Unembedding (ICFP 2023). It aims to further develop the theoretical foundations of this framework while also promoting its wider adoption.
The post holder will be part of the Bristol Programming Languages research group. The group has a strong international reputation and a wide range of interests, including functional programming, program verification and analysis, program synthesis, and type theory. It is well-connected with leading research groups worldwide, with research supported by major funding agencies and industry leaders. More information about the group can be found here: https://plrg-bristol.github.io/.
The post holder will enjoy the freedom to pursue research in any of the above-mentioned area and will be part of a dynamic team of 5 academics and several PDRAs and PhD students. You will enjoy excellent support both academically and financially to advance your research career. In turn, you are expected to conduct high quality research and contribute to the dynamic research culture. The employment is initially for two years with the possibility of extensions.
What will you be doing?
Research Responsibilities
- Conducting high quality research in programming languages and related fields.
- Leading small research groups.
- Writing bids for funding.
- Initiating publications arising from research results.
- Presenting research result at conferences.
- Identifying new research activities.
- Collaborating with industrial partner.
- Facilitating the running of the research group.
- Representing and advocating the research area.
- Mentoring junior researchers.
You Have:
1 Relevant Experience, Skills and Knowledge
- An excellent publication track record.
- An excellent understanding of programming languages or related fields.
- Knowledge of a broad range of programming language techniques.
- The ability to organise your own work with minimal supervision and prioritise work to meet deadlines.
- A network of existing industrial partners/contacts.
- Knowledge of functional programming.
- Experience with funding bids.
2 Relevant Qualifications
- PhD in Computer Science or a closely related discipline (for senior research associate).
- Postgraduate Certificate in University Learning and Teaching
3 Communication and Interpersonal Skills
- Excellent written and spoken English.
- Strong organisational and teamwork skills.
- Experience of preparing high quality publications.
- Experience of presenting scientific results orally.
- Experience of supervising research students.
To Find Out More About What It's Like To Work In The Faculty Of Engineering, And How The Faculty Supports People To Achieve Their Potential, Please See Our Staff Blog:
https://engineering.blogs.bristol.ac.uk/category/engineering-includes-me/
Contract type: Open ended with fixed funding until 31/08/2028
Work pattern: Full time
Grade: J
Salary: £43,482 - £50,253 per annum
School/Unit: Computer Science
This advert will close at 23:59 UK time on 26/05/2026
Shortlisting is expected to take place on 29/05/2026
Interviews will take place on 08/06/2026
For informal queries please contact: Professor Meng Wang (meng.wang@bristol.ac.uk).
Our strategy and mission
We recently launched our strategy to 2030 tying together our mission, vision and values.
Available documents
- ACAD108562 - Senior Research Associate in Programming Languages - JD.pdf
- Faculty of Science & Engineering Further Particulars 2024-25.pdf
Salary : $43,482 - $50,253