Research Assistant and Research Associate, The Department of Computing, Imperial College London
Description:
The Research Assistant and Research Associate will work under the EPSRC funded Established Career fellowship project. The position has a particular importance on putting theory into practice. The main responsibilities are
- Verifying correctness of concurrent, parallel and distributed programming languages (Go, Rust, Scala, F#, F*, Java, Python, TypeScript, PureScript, Haskell, OCaml or MPI).
- Broadening the programming languages based on session types.
- Inspecting relationships between session types and other computational models or theories (Game Semantics, Automata Theories, Model Checking, Logic, Dependent type theory and process calculi).
- Studying mechanisation of session type verifications by Coq, Isabelle and Agda.
Disciplines: Science, Engineering, Business and Computer Science or any other related fields.
Qualifications: PhD, Master Degree or any equivalent degree in an applicable field.
Requirements:
- The ability to start research independently.
- Experience in a research environment and research record and publications in the related areas.
- Excellent in programming languages, including type systems.
- Solid knowledge of concurrency theory.
- Outstanding programming and software engineering skills.
- Excellent communication skills (both verbal and written).
Application procedure: Submit the completely filled application with the following documents online (link given below).
- A complete CV
- List of all publications
- Research statement specifying the interesting research issues relating to the field (minimum 2 pages).
Salary: The salary is £36,045 – £39,183 per annum depending on the qualification and experience.
Quick Overview—————- | |
Organization | Imperial College London |
Fellowship Level | Research Assistant and Research Associate |
Country | UK |
Subject areas | Science, Engineering, Business and Computer Science or any other related fields |
Fellowship | £36,045 – £39,183 per annum |
Eligibility | PhD, Master Degree or any equivalent degree in an applicable field |
Deadline | 29 March 2021 |
———————————- |