Research Assistant and Research Associate, The Department of Computing, Imperial College London
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.
- 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.
|Organization||Imperial College London|
|Fellowship Level||Research Assistant and Research Associate|
|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|