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 / Research Associate will work under the EPSRC funded Established Career fellowship project, POST: Protocols, Observabilities and Session Types, and other EPSRC funded projects, Turtles: Protocol-Based Foundations for Distributed Multiagent Systems, Border Patrol: Improving Smart Device Security through Type-Aware Systems Design and Stardust: Session Types for Reliable Distributed Systems. The projects have a particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and 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#, 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 automata, linear logic and game semantics.
- Investigating mechanisation of session type verifications by, e.g. Coq, Isabelle and Agda.
- Studying theories on session types such as, e.g. Game Semantics, Automata Theories, Model Checking, Logic, dependent type theory and process calculi.
Essential requirements for the posts are:
- At Research Assistant level, a Masters degree (or equivalent) in a relevant area and must show evidence of the ability to undertake research.
- At Research Associate level, a PhD (or equivalent) in a relevant area.
- 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 £35,477 - £38,566 per annum.
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.
Informal enquiries should be addressed to: Professor Nobuko Yoshida ([email protected] .ac.uk) Investigator of the project
Should you have any queries regarding the application process please contact Jamie Perrins [email protected]
For technical issues when applying online please email [email protected]
Committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working 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
Research Associate , Imperial College London ;, United Kingdom, 1 day ago
Location: Chelsea & Westminster Campus Job Summary An urgent and exciting opportunity to work at the forefront of the fight against COVID-19 within a world leading research group at Imperial Colle...
Research Associate In Stochastic Transport In Upper Ocean Dynamics (Stuod) , Imperial College London ;, United Kingdom, 1 day ago
Salary: £40,215 – £47,579 per annum Location: South Kensington Campus Job Summary Applications are invited for a Research Associate position in the Department of Mathematics at Imperial College Lo...
Research Associate In Nanostructured Interphases For Structural Fibres , Imperial College London ;, United Kingdom, 9 days ago
Imperial College and the University of Bristol have been jointly awarded a major, five-year, programme grant (£6m), by EPSRC, to fundamentally redesign high performance composite materials. This “...
Research Assistant Or Associate , Imperial College London ;, United Kingdom, 1 day ago
Location: St Mary’s Campus (located in Paddington) Job Summary We are seeking to appoint a Research Assistant or Associate in the MRC Centre for Global Infectious Disease Analysis within the Depar...
Research Associate In Nanomedicines Development And Biomimetic Screening Models , Imperial College London ;, United Kingdom, 7 days ago
Location: Imperial College London, Molecular Sciences Research Hub, White City Campus Job Summary A postdoctoral position is available for the development and screening of stimuli-responsive nanom...
Research Assistant / Associate In Computational Fluid Dynamics , Imperial College London ;, United Kingdom, 21 days ago
Salary: £35,477 to £47,579 Location: South Kensington Starting date: 01 October 2020 for 24 months Job Summary Applications are invited for a fully funded 24-month position at the Research Assista...