Research Associate / Senior Research Associate

University of Cambridge; Cambridge; On-site; GBP 40,000 - 80,000; Full time

Job summary

An established industry player is seeking a Research Associate/Senior Research Associate to contribute to innovative research in static analysis and programming language tools. This exciting role involves developing advanced verification tools, collaborating with industry partners, and exploring new methodologies to enhance software complexity management. Join a dynamic team focused on impactful research that supports scientific advancements, particularly in climate science. If you are passionate about programming languages and eager to make a difference in the field, this opportunity is perfect for you.

Qualifications

• PhD or nearing completion in Computer Science or equivalent experience.
• Research experience in static analysis and programming language tools.

Responsibilities

• Support development of fortran-src/CamFort tools.
• Conduct research in static analysis and software development.

Skills

Functional Programming

Static Analysis

Haskell

Research Experience

Education

PhD in Computer Science

Tools

CamFort

fortran-src

Job description

Join to apply for the Research Associate / Senior Research Associate role at University of Cambridge

2 days ago Be among the first 25 applicants

Join to apply for the Research Associate / Senior Research Associate role at University of Cambridge

University of Cambridge provided pay range

This range is provided by University of Cambridge. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.

Base pay range

Research Associate/Senior Research Associate in Static Analysis and Programming Language Tools

Fixed-term: The funds for this post are available for 2 years.

Programming languages provide an interface for developing increasingly complex models in science. However, as computer models grow more complex, it is increasingly difficult to deliver on core requirements such as verifiability, maintainability, understandability, validity, and portability. Managing software complexity more effectively has been a focus of programming language research for many years, yet we see little adoption of new approaches in the natural sciences.

To address some of these issues, the CamFort suite of tools [1, 2] was developed to provide lightweight verification tools for scientists, targeting Fortran (which is used pervasively in the sciences and in industry). CamFort provides optional advanced type systems (e.g., for units-of-measure typing), novel partial specifications and accompanying verifiers, and deductive verification techniques. CamFort is underpinned by the fortran-src static analysis toolkit for Fortran [3, 4], which provides parsers for various language standards, core static analyses, and various models. The fortran-src toolkit has been developed over the years with collaborators in industry. Both CamFort and fortran-src are open-source, written in Haskell.

This position will support the development of the next phase of work in fortran-src/CamFort and provide an opportunity to do research in static analysis, verification, and/or refactoring. Possible areas of exploration include investigating (1) static analyses to assess cross-platform portability and associated refactoring transformation, e.g., to handle endianness; (2) developing novel analysis to assess properties such as robustness and sensitivity; (3) developing novel specification systems for numerical properties of code. There is an expectation that the post will involve both research and software development. The post will involve collaboration with industry partners actively using and developing fortran-src.

This post is based in the Department of Computer Science and Technology at the University of Cambridge and is also part of the Institute of Computing for Climate Science, a multi-disciplinary initiative supporting climate modelling through the latest in computer science, mathematics, software engineering, and statistics. The institute is a joint venture between the Department of Applied Mathematics and Theoretical Physics (DAMTP), the Department of Computer Science and Technology (CST, also known as the Computer Laboratory), and University Information Services (UIS), and receives funding from a variety of sources. The candidate will join a group applying programming language-oriented research to support scientific work.

Role Requirements

• Degree-level education, with a PhD (or nearing completion of) in Computer Science or equivalent experience;
• Research experience in static analysis and/or compilers and/or programming language tools;
• Track record of publication;
• Strong skills in functional programming.
• Haskell experience or a strong desire to learn Haskell;

Candidates wishing to be judged as Senior candidates should also have

• A significant amount of experience in research post-PhD;
• Evidence of potential for interdisciplinary collaboration;
• Evidence of potential to obtain additional research funding;
• Experience in leading research projects.

If you have any questions regarding the role or the application process, please contact Dominic Orchard ([e-mail]).

[1] https://camfort.github.io/

[2] https://github.com/camfort/camfort

[3] https://github.com/camfort/fortran-src/

Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.

Please indicate the contact details of two academic referees on the online application form and upload a full curriculum vitae, publications list, and a description of your recent research, current research and future research interests within this role (not to exceed two pages).

Please quote reference NR45820 on your application and in any correspondence about this vacancy.

The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.

The University has a responsibility to ensure that all employees are eligible to live and work in the UK.

Seniority level

• Seniority level

  Associate

Employment type

• Employment type

  Full-time

Job function

• Job function

  Research and Information Technology

• Industries

  Research Services, Software Development, and IT System Testing and Evaluation

Referrals increase your chances of interviewing at University of Cambridge by 2x

Get notified about new Postdoctoral Researcher jobs in Cambridge, England, United Kingdom.

Research Scientist - Microbial Bioengineering & Molecular Biology

Cambridge, England, United Kingdom 2 weeks ago

Postdoctoral Research Associate (Fixed Term)

Cambridge, England, United Kingdom 2 weeks ago

Postdoctoral Research Associate - Plant Development (Fixed Term)

Cambridge, England, United Kingdom 1 week ago

Cambridge, England, United Kingdom 1 week ago

Post Doctoral Research Associate (Fixed Term)

Cambridge, England, United Kingdom 6 days ago

Cambridge, England, United Kingdom 4 days ago

Cambridge, England, United Kingdom 2 weeks ago

PhD Studentship in mild traumatic brain injury

Cambridge, England, United Kingdom 1 month ago

Cambridge, England, United Kingdom 3 days ago

Postdoctoral Fellow | Molecular mechanisms of gene control

Hinxton, England, United Kingdom 2 weeks ago

Senior Scientist (Cellular Pharmacology), CANCER RESEARCH UK

Cambridge, England, United Kingdom 1 week ago

Principal Scientist (Cellular Pharmacology), CANCER RESEARCH UK

Cambridge, England, United Kingdom 1 week ago

Postdoctoral Research Associate in Energy Landscapes

Cambridge, England, United Kingdom 1 week ago

Cambridge, England, United Kingdom 2 days ago

Machine Learning Research Scientist - PhD, NLP, LLM,

Cambridge, England, United Kingdom 4 days ago

Postdoctoral Fellow (Level A or B) – Defence Trailblazer x2

Cambridge, England, United Kingdom 2 days ago

Research Scientist Intern-Performance Simulation

Cambridge, England, United Kingdom 1 year ago

Cambridge, England, United Kingdom 11 months ago

Post Doctoral Fellow in Mood disorders (up to 2 positions available)

Cambridge, England, United Kingdom 4 days ago

Cambridge, England, United Kingdom 1 month ago

PhD Studentship HPS and UL: History & heritage of discovery of environmental change & interpretation of place in East England

Cambridge, England, United Kingdom 1 month ago

Cambridge, England, United Kingdom 5 days ago

EPSRC FIBE3 CDT PhD studentship with AtkinsRéalis: Enabling a natural capital approach to infrastructure transitions

Cambridge, England, United Kingdom 2 weeks ago

Post-Doctoral Fellow in Superconducting Devices for Hot Quantum Measurements

Cambridge, England, United Kingdom 2 weeks ago

PhD Studentship High Entropy Superalloys (Fixed Term)

Cambridge, England, United Kingdom 1 month ago

PhD Studentship - Electric furnace steelmaking (Fixed Term)

Cambridge, England, United Kingdom 1 month ago

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.