Research Assistant / Associate
The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher) and was rated as "Excellent" in the previous national assessment of teaching quality. Imperial was also awarded “Gold” according the last Teaching...
Job listing information
- Reference ENG01832
- Date posted 19 August 2021
- Closing date 16 September 2021
The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher) and was rated as "Excellent" in the previous national assessment of teaching quality. Imperial was also awarded “Gold” according the last Teaching Excellence Framework (TEF) 2017.
The Research Assistant / Associate will work under the EPSRC funded Turtles: Protocol-Based Foundations for Distributed Multiagent Systems, Border Patrol: Improving Smart Device Security through Type-Aware Systems Design, Stardust: Session Types for Reliable Distributed Systems and AppControl: Enforcing Application Behaviour through Type-Based Constraints and POST: Protocols, Observabilities and Session Types.
The projects have a particular emphasis on putting theory into practice, by embedding session types in a range of programming languages or applying them to realistic case studies..
Duties and responsibilities
The purpose of the role of the Research Assistant / Associate is to be responsible for one/two of the following topics;
- Verifying correctness of concurrent, parallel and distributed programming languages such as, e.g. Go, Rust, Scala, F#, F*, Java, Python, TypeScript, PureScript, Haskell, OCaml or MPI.
- Extending the programming languages based on session types.
- Investigating relationships between session types and other computational models/theories such as Game Semantics, Automata Theories, Model Checking, Logic, Dependent type theory and process calculi.
- Investigating mechanisation of session type verifications by, e.g. Coq, Isabelle and Agda.
- Research Associate: A PhD (or equivalent) in a relevant area and must show evidence of the ability to undertake research.
- Research Assistant: A Master’s degree (or equivalent) in a relevant area and must show evidence of the ability to undertake research.
- Practical experience within a research environment and a proven research record and publications in the relevant areas.
- A strong background in programming languages, including type systems
- A good general knowledge of concurrency theory.
- Strong programming and software engineering skills.
- Excellent verbal and written communication skills and be able to organise your own work with minimal supervision and prioritise work to meet deadlines.
You will be part of the Theory of Computational Systems Group based at the South Kensington Campus.
Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £36,045 - £39,183 per annum.
Informal enquiries should be addressed to: Professor Nobuko Yoshida (firstname.lastname@example.org), Investigator of the project.
In addition to the online application please also attach:
- A full CV, with a list of all publications
- A 2-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant.
Should you have any queries regarding the application process please contact Jamie Perrins email@example.com
For technical issues when applying online please email firstname.lastname@example.org
Committed to equality and valuing diversity, we are an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Disability Confident Employer and work in partnership with GIRES to promote respect for trans people.
The College is a proud signatory to the San-Francisco Declaration on Research Assessment (DORA), which means that in hiring and promotion decisions, we evaluate applicants on the quality of their work, not the journal impact factor where it is published. For more information, see https://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-evaluation/
The College believes that the use of animals in research is vital to improve human and animal health and welfare. Animals may only be used in research programmes where their use is shown to be necessary for developing new treatments and making medical advances. Imperial is committed to ensuring that, in cases where this research is deemed essential, all animals in the College’s care are treated with full respect, and that all staff involved with this work show due consideration at every level. http://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-integrity/animal-research/
About Imperial College London
Imperial College London is the UK’s only university focussed entirely on science, engineering, medicine and business and we are consistently rated in the top 10 universities in the world.
You will find our main London campus in South Kensington, with our hospital campuses located nearby in West and North London. We also have Silwood Park in Berkshire and state-of-the-art facilities in development at our major new campus in White City.
We work in a multidisciplinary and diverse community for education, research, translation and commercialisation, harnessing science and innovation to tackle the big global challenges our complex world faces.
It’s our mission to achieve enduring excellence in all that we do for the benefit of society – and we are looking for the most talented people to help us get there.
Please note that job descriptions cannot be exhaustive, and the post-holder may be required to undertake other duties, which are broadly in line with the above key responsibilities.
Imperial College is committed to equality of opportunity and to eliminating discrimination. All employees are expected to follow the Imperial Values & Behaviours framework. Our values are:
In addition to the above, employees are required to observe and comply with all College policies and regulations.
We are committed to equality of opportunity, to eliminating discrimination and to creating an inclusive working environment for all. We therefore encourage candidates to apply irrespective of age, disability, marriage or civil partnership status, pregnancy or maternity, race, religion and belief, gender identity, sex, or sexual orientation. We are an Athena SWAN Silver Award winner, a Disability Confident Leader and a Stonewall Diversity Champion.
For technical issues when applying online please email email@example.com.
Top 10 Employer for Working Families
Top 10 employer for working families
Athena SWAN Silver Award 2016
We renewed our Silver in the April 2016 submission round. Recognising advancement of gender equality.
Disability Confident leader
Imperial is a Disability Confident leader
Imperial is working in partnership with GIRES to promote respect and provide equal treatment for trans people