Research Assistant / Research Associate: Imperial College London 1608 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.

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
———————————-

 

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

Research Grants by McMaster University

RESEARCH GRANTS by McMaster University Researchers needing extensions for their MIRA and Labarge research projects as a result of COVID-19

Masters, Graduate and Postdoctoral: University of Guelph

Diploma, Masters, Graduate and Postdoctoral: University of Guelph Description Academic Programs – By Program A collaborative specialization is an intra-university

Postdoctoral Research Program: Canada

Postdoctoral Research Program: Canada: The Government of Canada is inviting applications for its postdoctoral research program. This program is aimed

Travel grants for short term visits by Boehringer Ingelheim Fonds, Germany

The Boehringer Ingelheim Fonds awards Travel Grants to junior researchers who are currently conducting an experimental project in basic biomedical

Arturo Falaschi ICGEB Fellowships: PhD

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

PhD Fellowships: Boehringer Ingelheim Fonds, Germany

The Boehringer Ingelheim Fonds (Germany) awards PhD fellowships to outstanding students (max. age of 27 years) who wish to pursue an

FMI International PhD Program, University of Basel

FMI (Friedrich Miescher Institute) International Ph.D. The program offers advanced, interdisciplinary training. Ph.D. students enrolled in the program get theoretical and

Nakayama 100 Premium International Fellowships

Nakayama 100 Premium international Awards/Fellowships at the International University of Japan (IUJ). Number of Nakayama Scholarships: 100 IUJ is offering

KGSP: 870 Fellowships, Foreign students

Korean Government Scholarship Program (KGSP): The program aims to provide international students with opportunities to conduct advanced studies at undergraduate

Job Location