Research Assistant / Research Associate: Imperial College London 2085 views

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.