Research Associate, Research Scientist

Grade UE07: £41,064 - £48,822 per annum (pro-rata if part‑time)

College of Science and Engineering / School of Informatics

Full-time: 35 hours per week

Fixed-term: for 12 months

Together we can do great things. Be part of something bigger.

With roles from hospitality to research, there’s a career for everyone at the University of Edinburgh. We can offer opportunities for you to develop your career and make a real difference in the communities around us while contributing to the world at large.

The University of Edinburgh is a world‑class organisation. We look for the best in the field across all disciplines and provide a working environment where academics can develop their careers and passion for their chosen subject area. We offer the full range of academic roles and have a genuine focus on our students’ performance and wellbeing.

This project is about proving liveness properties, stating that certain goal states of a programme are in fact reached. Most prior work on this employs fairness assumptions, saying that if one tries something often enough, it will eventually succeed. Without making such assumptions, no meaningful liveness property can be proved. However, fairness assumptions are typically unwarranted, as the real world is not fair.

This project replaces fairness with the weaker assumption of justness. This is still sufficient to prove meaningful liveness properties, and moreover warranted in most applications.

It turns out, however, that many of the foundations of concurrency theory laid in the last 40 years have to be redone to cope with justness. This project aims to do just that.

People have always been at the heart of our work. As part of the University, you are part of our community. We are looking for people with drive, determination, and a passion for what they do. We are a place where everyone is welcome and offer a range of policies and benefits designed to support you in building the right meaningful/personalised flexibility for you.

• Degree in an appropriate field (a master’s degree or above in Computer Science, Physics, or Mathematics).

• A PhD in Computer Science, Informatics, Mathematics, or a related discipline.
• Experience in working and managing research projects.
• Expertise in the foundations of concurrency theory, especially in applying assumptions such as fairness or justness.
• Competence in comprehending academic computer science research results and documents, at least at a high level, to compose reports understandable to industry.
• Excellent interpersonal, verbal and written communication skills.

Rob van Glabbeek

A career with us has a range of other benefits that can be tailored to your lifestyle:

• Professional development and subject matter expertise.
• Leading‑edge research.
• Contributing to the work and purpose of the University.

This post is full-time (35 hours per week); however, we are open to considering part‑time or flexible working patterns. We are also open to considering requests for hybrid working (on a non‑contractual basis) that combines a mix of remote and regular on‑campus working.

Please include the following documents in your application:

• CV
• Cover letter

• A competitive salary.
• An exciting, positive, creative, challenging and rewarding place to work.
• To be part of a diverse and vibrant international community.
• Comprehensive Staff Benefits, including generous annual leave entitlement, a defined benefits pension scheme, a wide range of staff discounts, family‑friendly initiatives, and flexible work options. Check out the full list on our staff benefits page and use our reward calculator to discover the value of your pay and benefits.

The University of Edinburgh holds a Silver Athena SWAN award in recognition of our commitment to advance gender equality in higher education. We are members of the Race Equality Charter, and we are also Stonewall Scotland Diversity Champions, actively promoting LGBT equality.

Prior to any employment commencing with the University, you will be required to evidence…