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

 

Company Information
Connect with us

Princeton University: 25 Postdoctoral Positions

Princeton University: Open postdoctoral Positions Position: Postdoctoral Positions: Using Machine Learning for Bias Reduction in Climate Models D-21-AOS-00005 | Atmospheric

Postdoctoral Research Associate: Princeton University

Application are invited for Postdoctoral Research Associate (Chemistry) at the Princeton University, USA. The Webb Lab has an opening for

Horizons Fellowships by the University of Oxford

The Horizons Fellowships by the University of Oxford The Horizons Fellowship program supports 10 outstanding university students in their pursuit

Postdoc Research Associate Program, Princeton University

Postdoc Research Associate Program, Princeton University Applications are invited for *REVISED*Postdoc Research Associate or more senior/The Program on Science and

Princeton Society of Fellows: Postdoctoral fellowships

The Princeton Society of Fellows, an interdisciplinary group of scholars in the humanities, social sciences, and selected natural sciences, invites

Joint Peking-Princeton Postdoctoral Program (PPPP)

The Peking and Princeton Universities are recruiting applications for their joint Peking-Princeton Postdoctoral Program (PPPP). Each fellowship is to be

University of Memphis Scholarships

University of Memphis Scholarships 2021 in USA The Scholarship is Fully-Funded. Candidates have no need to worry about the expenses

Scientist ‘G’/ Professor Position Direct Recruitment: inStem

Scientist ‘G’/ Professor Position on Direct Recruitment, inStem, Bangalore, India Institute for Stem Cell Science and Regenerative Medicine, Bangalore, India

USA Government Fellowships: Bachelors, Masters PhD, Pstdoc

Email Me Jobs Like These Showing 1–10 of 737 jobs University of Memphis Scholarships BachelorsMasters United States  March 3, 2021 View more4

United States Pharmacopeia (USP): 20 Scientific positions

United States Pharmacopeia (USP): 20 Scientific Jobs Position 1: Senior Manager, AMT Lab Services Rockville, Maryland Position 2: Scientist III,
Share

Click here to Subscribe

Do not forget to activate from your email inbox.

  1. If you are not reciving email from us.
  2. please subscribe again.

Subscribe!