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

PhD, Postdoc: Indian Council of Social Science Research (ICSSR)

PhD and Postdoc at the Indian Council of Social Science Research (ICSSR): National Fellowships are awarded to eminent Indian Social

BIGSSS Regular PhD and Postdoc program

BIGSSS (Bremen International Graduate School of Social Sciences) offers admission regular PhD program in Thematic Field C & Postdoc program.

HBIGS: International PhD programme; Life Sciences

The Hartmut Hoffmann-Berling International Graduate School of Molecular and Cellular Biology (HBIGS) at Heidelberg University is inviting ambitious students to

International PhD Programme; Life Sciences: Vienna Biocenter

The Vienna Biocenter (VBC) Doctoral Programme is an esteemed research-oriented educational initiative designed to foster the scientific training of young

PhD fellowship: Biology and Biophysics

Institut Pasteur is inviting applications for PhD and M2 scholarships for physicians, pharmacists and other healthcare professionals. The grant program

Postdoc Fellowship Program: Institut Curie

Postdoc Fellowship Program: Institut Curie Each year, several of postdocs join Institut Curie laboratories to learn, share ideas, and actively

Funding and Awards: 200 Plus Fellowships, EMBO

Funding and awards: European Molecular Biology Organization (EMBO, Heidelberg, Germany) EMBO offers awards and financial support for researtcheres and scientists

Japan Foundation: Individual and Organization Grants

The Japan Foundation invites individuals & organizations that are planning international exchange projects and activities to participate in programs of

SIR – Scholar-in-Residence Fulbright Program, USA

The Fulbright Scholar-in-Residence (SIR) Program: It assists U.S. higher education / research institutions in expanding programs of academic international exchange.

Job Location