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

Banting fellowships Program: 70 Grants

Banting postdoc fellowships Program Canada: This fellowship is for all nationalities and covers several disciplines The Banting Postdoctoral Fellowships Program is an initiative

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)

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

IMPRS- Leipzig School of Human Origins: International PhD Program

The International Max Planck Research School (IMPRS) “The Leipzig School of Human Origins invites applications for its international PhD program.

167 Vanier CGS in Natural and Social Science Canada

167 Vanier CGS in Natural and Social Science Canada Vanier Canada Graduate Scholarships launched by the Government of Canada fo

Faculty Recruitment at IIT Mandi

Faculty recruitments at IIT Mandi: The Indian Institute of Technology Mandi (IIT Mandi) invites applications for faculty positions at the

Junior Research Fellow (JRF): Chemical Engineering, Mechanical Engineering, Energy Engineering

Junior Research Fellow (JRF) position at IIT Roorkee India in a DST sponsored project. Title of Post: Junior Research Fellow

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

IMPRS-CellDevoSys: PhD Programme; 20-25 PhD positions

International Max Planck Research School for Cell, Developmental and Systems Biology (IMPRS-CellDevoSys) invites applications for its Ph.D. program. The school

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
Share

Subscribe by email

Subscribe by Telegram

Subscribe!