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

Irish Research Council: Govt of Ireland Postgraduate Scholarship Scheme

Applications are open for the Irish Research Council’s 2021 Government of Ireland Postgraduate Scholarship scheme. This scheme provides scholarships for

20 ARISE Fellowships for Technology Developers

European Molecular Biology Laboratory (EMBL) is inviting applications for ARISE (Career Accelerator for Research Infrastructure Scientists) programme, for experienced professionals

Postdoctoral Fellowship in nano-scale soft wetting

A Department of Mathematics at University of Oslo (UiO) is inviting application for a Postdoctoral fellowship in theoretical study of

Master Thesis/Internship: Synthetic Array Technologies

The Biomolecular Systems Department at Max Planck Institute of Colloids and Interfaces in the group led by Dr. Felix Loeffler

KTH Royal Institute of Technology: 12 Postdoc positions

Researchers, research engineers and postdocs Position 1: Postdoc in Graph Neural Networks School of Electrical Engineering and Computer Science at

CUPB, India: Regular Faculty Posts

CUPB, India:  Regular Faculty Posts (Professors, Associate Professors,  Assistant Professors) The Central University of Punjab, Bathinda (CUPB) invites Online Applications from

25 Postdoc Positions: University of Copenhagen

25 Postdoc Positions at the University of Copenhagen: Multiple Postdoc positions are available at the University of Copenhagen in different departments.

PhD position in Nanotechnology and Quantum Chemistry

The Wageningen University & Research (WUR) has an open PhD position in Nanotechnology and Quantum Chemistry. The position will be

Netherlands: Masters, PhD, Postdoc, Faculty

Email Me Jobs Like These Showing 1–10 of 495 jobs PhD position in Nanotechnology and Quantum Chemistry PhD Europe, Netherlands  September 27, 2021

Fellowship in Amsterdam: Netherlands Education Group

The Netherlands Education Group organizes short-term educational programs for talented young people. The group also offers the Fellowship in Amsterdam
Share

Subscribe by email

Subscribe by Telegram

Subscribe!