Research Fellow at University of Birmingham: Join the esteemed College of Engineering and Physical Sciences at the University of Birmingham, UK, as a Research Fellow on the EPSRC Grant Semantics-Directed Compiler Construction project. This project, in collaboration with the University of Nottingham, aims to automate compiler construction from semantic language descriptions. As a Research Fellow, you’ll delve into operational and denotational semantics, abstract machines, string diagrams, and graph rewriting. Your contributions will shape the future of certified compilers.
Designation: Research Fellow
Research Area: Theory of Programming Languages
Location: University of Birmingham, Edgbaston, Birmingham, UK
Eligibility/Qualification:
- First degree in theoretical computer science
- Higher degree or equivalent experience in areas such as programming language semantics, abstract machines, compilation and interpretation, category theory, or graph rewriting
- Proficiency in complex coding for proof-of-concept compilers and interpreter prototypes
Job Description:
As a Research Fellow, your role encompasses: - Conducting research in programming language theory, with a focus on compiler development from semantic principles
- Writing research papers and contributing to open-source repositories
- Seeking further funding opportunities and engaging in public outreach or licensing deals
Main Duties:
Your responsibilities include but are not limited to: - Developing compilers and interpreters based on sound semantic principles
- Utilizing string diagrams and graph rewriting in compiler development
- Disseminating research findings through publications and seminars
- Supervising and guiding students on research-related tasks
- Contributing to the development of new models and methods
How to Apply:
To apply, submit your application online via the University of Birmingham’s job portal. For informal inquiries, contact Dan Ghica at d.r.ghica@bham.ac.uk.
Last Date for Apply:
Applications close on May 13th, 2024.
Note:
University of Birmingham values diversity and actively promotes equality in its community. We are committed to providing a fair and inclusive workplace where everyone can thrive. We encourage applications from all qualified individuals, including those with diverse backgrounds and experiences.
