Research Assistant / Research Associate: Imperial College London 1642 views

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.

Quick Overview—————-
OrganizationImperial College London
Fellowship LevelResearch Assistant and Research Associate
Subject areasScience, Engineering, Business and Computer Science or any other related fields
Fellowship £36,045 – £39,183 per annum
EligibilityPhD, Master Degree or any equivalent degree in an applicable field
Deadline29 March 2021


Share this job

ERCIM Fellowship Programme, COFUND, Europe

The “ERCIM Alain Bensoussan Fellowship Programme” was supported by the FP7 Marie Curie Actions – People, Co-funding of Regional, National

Postdoc Faculty Fellowship Program: University of Boston

Postdoc Faculty Fellowship Program at Department of Chemistry, University of Boston. This innovative program provides a two (02)-year, full-time appointment

PhD, Postdoc, Visiting, Assistant Professorships: DDA

PhD, Postdoc, Visiting, Assistant Professorships: DDA Call for applications for PhD Scholarships, Postdoc Fellowships and Visiting Professorships/Assistant Professorships at The

NUFFIC Fellowships: For Developing Countries

NUFFIC Fellowships in Netherlands Open to: applicants that are working and living in the listed NFP country Overview The Netherlands

90 Research Scientists – Agricultural Innovation Canada

90 Research Scientists – Agricultural Innovation Canada We are seeking approximately 90 research scientists with a wide variety of expertise

Arturo Falaschi ICGEB Fellowships: PhD

The Arturo Falaschi ICGEB Fellowships – PhD: The program is open to young people nationals of an ICGEB Member State.

Masters PhD Program in Molecular Biology: Princeton University

Masters and PhD Program in Molecular Biology at Department of Molecular Biology, Princeton University: The Graduate Program in Molecular Biology

Humboldt Research Fellowship for Experienced Researchers

Humboldt Research Fellowship is offered to International Experienced Researchers with above-average qualifications, completed Ph.D. less than 12 years ago, already

Faculty Positions at Indian Institute of Technology, Dhanbad

Indian Institute of Technology (Indian School of Mines), Dhanbad invites applications from Indian nationals including Persons of Indian Origins (PIOs)