Back to search results

Research Assistant / Associate

University of Glasgow - School of Computing Science

Location: Glasgow
Salary: £32,332 to £44,263 Grade 6/7, per annum
Hours: Full Time
Contract Type: Fixed-Term/Contract
Placed On: 11th January 2024
Closes: 29th February 2024
Job Ref: 136868

This post is full time, and fixed term for up to 30 months.

The position is based in Glasgow, and working in the office at least three days per week is expected.

You will contribute to/make a leading contribution to the project STARDUST: Session Types for Reliable Distributed Systems. The project is a collaboration between the University of Glasgow (Professor Simon Gay, Professor Phil Trinder and Dr Simon Fowler), the University of Oxford (Professor Nobuko Yoshida) and the University of Kent (Professor Simon Thompson and Dr Laura Bocchi). The industrial partners are Actyx AG, Erlang Solutions Ltd, Quviq AB and Tata Consultancy Services.

The overall aim of the project is to improve programming language support for the design and implementation of reliable distributed software systems. The strategy is to combine fault prevention and fault tolerance. The technical direction is based on combining the scalability and fault tolerance of actor-based software architectures (e.g. implemented in Erlang/Elixir) with the communication-structuring mechanisms of behavioural type systems such as session types and related type systems.

The Glasgow part of the project focuses on the development of mailbox typing for a core actor language (ICFP 2023, https://simonjf.com/writing/pat.pdf). Mailbox types characterise the unordered contents of mailboxes and allow static detection of a range of errors related to the production and consumption of messages. You will be responsible for further theoretical work on mailbox typing, in parallel with and in support of ongoing work on the design and implementation of a mailbox typing tool for Erlang/Elixir.

We seek applicants at an international level of excellence. The School of Computing Science has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. You will be part of the FATA Section (algorithms and complexity, programming language foundations and formal methods) and the Programming Languages Theme (programming language theory, design, systems and education). We are also members of the Scottish Programming Languages Institute and participate in activities such as the Scottish Programming Languages Seminar and the Scottish Programming Languages and Verification Summer School.

To be considered for an appointment at Grade 7, you must be able to perform the duties as listed for a Research Assistant position with a higher degree of independence, leadership and responsibility, particularly in relation to planning, funding, collaborating and publishing research, and mentoring colleagues.  You must also have, or be about to obtain, a Scottish Credit and Qualification Framework level 12 (PhD) or alternatively possess the equivalent in professional qualifications and experience, with experience of personal development in a similar or related role(s)

For informal enquiries or further information about the project,

please contact Professor Simon Gay (Simon.Gay@glasgow.ac.uk), 

Professor Phil Trinder (Phil.Trinder@glasgow.ac.uk)  or Dr Simon Fowler (Simon.Fowler@glasgow.ac.uk

For more information on the University of Glasgow’s School of Computing Science, please visit https://www.gla.ac.uk/schools/computing/

Closing date:  29 February 2024

It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment.

We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equality.

The University of Glasgow, charity number SC004401.

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

Job tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
More jobs from University of Glasgow

Show all jobs for this employer …

More jobs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge