Research Assistant

1 month ago

Cambridge, United Kingdom University of Cambridge Full time

Fixed-term: The funds for this post are available for one year in the first instance, with potential renewal on a yearly basis.Applications are invited for a Research Assistant or Research Associate (PostDoc) to join the Compiler Lab in the Department of Computer Science and Technology at the University of Cambridge, UK.

You will work together with a team of students and research collaborators on the development of formally verified compiler infrastructure. In particular, our objective is to build technology that brings formally verified compilation into the day-to-day use of the LLVM/MLIR compiler ecosystem. In this context, we use and contribute to the Lean4 proof assistant where we build foundational technology, e.g., a powerful BitVector library, technology for coindictive proofs, an embedding of MLIR's SSA data structures into lean, or a model of instruction-set level semantics. While we have a clear objective, the path towards this objective is very flexible. We may investigate automation via synthesis-guided superoptimization, improvements to interactive-theorem-prover-based verification, or follow some of your ideas. All our work is developed in close collaboration with the open-source community. Hence, we appreciate interest or even experience in large-scale open-source software development.

The successful applicant at the Research Associate level will possess a PhD in computer science or equivalent experience in compiler design and/or interactive theorem proving, and a track record of relevant scientific publications, whereas at the Research Assistant level must hold Masters results in Computer Science or equivalent experience. Excellent spoken and written English is essential for this role. We particularly encourage applicants who are enthusiastic about our project, even if their background and expertise are only tangentially related to this position.

Appointment at Research Associate level is dependent on having a PhD. Those who have submitted but not yet received their PhD will be appointed at Research Assistant level, which will be amended to Research Associate once the PhD has been awarded.

The Compiler Lab in the Department of Computer Science & Technology aims to use strong theoretical reasoning to bring innovations to real-world compilation and programming language problems. We aim to rethink performance programming by re-connecting developers and compilers. Today, performance programming is no longer limited to optimizing low-level code. It often includes using domain-specific compilers, constraint programming libraries, complex performance models, and automatic (potentially learned) strategies to search for optimal code transformations. To enable such search, we contribute to open-source compilers such as LLHD/CIRCT, develop constraint programming libraries such as MLIR's FPL (), and high-productivity compilers such as xDSL ().

Applicants should contact Tobias Grosser for further information at .

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.

  • Research Assistant

    4 days ago

    Cambridge, United Kingdom Cancer Research UK Cambridge Institute Full time

    The Ali group invites applications for a Research Assistant. Our research aims to understand how the multicellular structure of breast tumours determines relapse, metastasis, and therapeutic response. We characterise human breast tumour ecosystems using highly multiplexed tissue analysis via imaging mass cytometry and sophisticated image processing....

  • Research Coordinator

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Alzheimer's Research UK Full time

    About the RoleWe are seeking a highly organized and detail-oriented Research Coordinator to join our team at Alzheimer's Research UK. As a key member of our Research team, you will provide administrative support to ensure the smooth operation of various activities, including grant funding, strategic initiatives, and meeting coordination.Key...

  • Research Coordinator

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Alzheimer's Research UK Full time

    Job SummaryThe Research Coordinator role is a key position within the Research team at Alzheimer's Research UK, a team dedicated to delivering world-class research that will lead to life-changing breakthroughs in diagnosis, prevention, treatment, and cure. The Research team is responsible for delivering an exciting new five-year strategy through a varied...

  • Cell Engineer Research Assistant

    1 day ago

    Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full time

    Job DescriptionJob Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Summary:We are seeking a highly skilled Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. As a Cell Engineer Research Assistant, you will play a key role...

  • Cell Engineer Research Assistant

    1 day ago

    Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full time

    Job DescriptionJob Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Summary:We are seeking a highly skilled Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. As a Cell Engineer Research Assistant, you will play a key role...

  • Research Administrator

    4 weeks ago

    Cambridge, United Kingdom Alzheimer's Research UK Full time

    The Research Administrator role forms part of the Research team at Alzheimer’s Research UK, a team that is responsible for delivering world-class research that will lead to life-changing breakthroughs in diagnosis, prevention, treatment and cure. The Research team is set to deliver an exciting new five-year strategy through a varied portfolio of grant...

  • Cell Engineer Research Assistant

    4 days ago

    Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full time

    Job Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Description:Job SummaryWe are seeking a highly motivated and experienced Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. The successful candidate will be responsible...

  • Cell Engineer Research Assistant

    4 days ago

    Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full time

    Job Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Description:Job SummaryWe are seeking a highly motivated and experienced Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. The successful candidate will be responsible...

  • Research Administrator

    4 weeks ago

    Cambridge, Cambridgeshire, United Kingdom Alzheimer's Research UK Full time

    The Research Administrator role forms part of the Research team at Alzheimer's Research UK, a team that is responsible for delivering world-class research that will lead to life-changing breakthroughs in diagnosis, prevention, treatment and cure. The Research team is set to deliver an exciting new five-year strategy through a varied portfolio of grant...

  • Research Scientist

    3 days ago

    Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full time

    About the RoleWe are seeking a highly skilled Research Assistant to join our team at the Cancer Research UK Cambridge Institute. As a Research Assistant, you will play a key role in supporting our research team in understanding the complex multicellular ecosystems that drive breast cancer.Key ResponsibilitiesContribute to cutting-edge translational research...

  • Research Scientist

    3 days ago

    Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full time

    About the RoleWe are seeking a highly skilled Research Assistant to join our team at the Cancer Research UK Cambridge Institute. As a Research Assistant, you will play a key role in supporting our research team in understanding the complex multicellular ecosystems that drive breast cancer.Key ResponsibilitiesContribute to cutting-edge translational research...

  • Research Administrator

    1 week ago

    Cambridge, United Kingdom Alzheimer's Research UK Full time

    The Research Administrator role forms part of the Research team at Alzheimer’s Research UK, a team that is responsible for delivering world-class research that will lead to life-changing breakthroughs in diagnosis, prevention, treatment and cure. The Research team is set to deliver an exciting new five-year strategy through a varied portfolio of grant...

  • Postdoctoral Research Scientist

    4 days ago

    Cambridge, Cambridgeshire, United Kingdom UK Research and Innovation Full time

    Job SummaryWe are seeking a highly motivated and skilled Postdoctoral Research Scientist to join our team at the MRC Laboratory of Molecular Biology (LMB). The successful candidate will work within the Group of Dr Kate McDole, contributing to a programme aimed at understanding the role of mechanical forces in early organogenesis.Main...

  • Postdoctoral Research Scientist

    4 days ago

    Cambridge, Cambridgeshire, United Kingdom UK Research and Innovation Full time

    Job SummaryWe are seeking a highly motivated and skilled Postdoctoral Research Scientist to join our team at the MRC Laboratory of Molecular Biology (LMB). The successful candidate will work within the Group of Dr Kate McDole, contributing to a programme aimed at understanding the role of mechanical forces in early organogenesis.Main...

  • Postdoctoral Research Scientist

    1 day ago

    Cambridge, Cambridgeshire, United Kingdom UK Research and Innovation Full time

    Job DescriptionJob Title: Postdoctoral Research ScientistJob Summary:We are seeking a highly motivated and experienced Postdoctoral Research Scientist to join our team at UK Research and Innovation. The successful candidate will have a strong background in molecular biology, cell biology, or immunology and will be responsible for conducting research in the...

  • Postdoctoral Research Scientist

    1 day ago

    Cambridge, Cambridgeshire, United Kingdom UK Research and Innovation Full time

    Job DescriptionJob Title: Postdoctoral Research ScientistJob Summary:We are seeking a highly motivated and experienced Postdoctoral Research Scientist to join our team at UK Research and Innovation. The successful candidate will have a strong background in molecular biology, cell biology, or immunology and will be responsible for conducting research in the...

  • Laboratory Research Associate

    3 weeks ago

    Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full time

    Position Overview: The Cancer Research UK Cambridge Institute is seeking a dedicated and skilled research assistant to contribute to our dynamic tumour immunology team. This role focuses on exploring the influence of innate lymphoid cells in immune regulation concerning tissue homeostasis, inflammatory conditions, and cancer. Key Responsibilities: Assist in...

  • Immunology Research Technician

    3 weeks ago

    Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full time

    Position Overview: The Cancer Research UK Cambridge Institute is seeking a dedicated and skilled Research Assistant to join our dynamic tumour immunology team. This role is integral to our mission of exploring the functions of innate lymphoid cells in the immune response related to tissue homeostasis, inflammatory conditions, and cancer. Key...

  • Postdoctoral Research Scientist

    5 days ago

    Cambridge, Cambridgeshire, United Kingdom UK Research and Innovation Full time

    Job DescriptionOverall Purpose:To work within the group of Dr. Patrycja Kozik at the MRC Laboratory of Molecular Biology (LMB), within a programme aimed at investigating initiation immune responses by dendritic cells.Main Duties:To undertake research aimed at characterising molecular mechanisms involved in dendritic cell functions.To identify, develop and...

  • Postdoctoral Research Scientist

    4 days ago

    Cambridge, Cambridgeshire, United Kingdom UK Research and Innovation Full time

    Job DescriptionOverall Purpose:To work within the group of Dr. Patrycja Kozik at the MRC Laboratory of Molecular Biology (LMB), within a programme aimed at investigating initiation immune responses by dendritic cells.Main Duties:To undertake research aimed at characterising molecular mechanisms involved in dendritic cell functions.To identify, develop and...