Research Fellow - School of Computer ScienceGrade 7

The University of Birmingham; Birmingham; On-site; GBP 60,000 - 80,000; Full time

Job summary

Le School of Computer Science de l'Université de Birmingham cherche un Research Fellow pour contribuer au projet HOMBRe. Ce rôle implique la recherche en sémantique des programmes et vérification, ainsi que le développement de nouveaux modèles et techniques, offrant une chance de progression à long terme.

Benefits

Ambiance de travail inclusive

Opportunités de développement continu

Qualifications

• Diplôme de premier cycle en bioinformatique, biologie ou domaine connexe.
• Capacité d'analyse élevée et compétence en communication d'idées complexes.
• Expérience en recherche requise.

Responsibilities

• Développer des objectifs et des propositions de recherche.
• Contribuer à l'analyse et à l'interprétation des données.
• Superviser des étudiants dans leur travail de recherche.

Skills

Bioinformatics

Genetics

R

Biochemistry

Cell Biology

Research Experience

Statistical Software

Cell Culture

Molecular Biology

Data Analysis Skills

Flow Cytometry

Microscopy

Education

First degree in area of specialism

Higher degree relevant to research area

Job description

Description

Position Details

School of Computer Science

Location: University of Birmingham Edgbaston Birmingham UK

Full time starting salary is normally in the range 36130 to 45413 with potential progression once in post to 48149

Grade: 7

Full Time Fixed Term contract up to December 2026

Closing date: 1st June 2025

Background

To create and contribute to the creation of knowledge by undertaking a specified range of activities within an established research programme and/or specific research project.

The successful candidate will contribute to the project HigherOrder Monadbased Programming and Reasoning (HOMBRe) which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their generalizations. The project also investigates the semantics of iteration and recursion via trace operators with particular interest in the notion of guarded traces. In addition to theoretical development HOMBRe involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functionalimperative programming verification logics and categorical semantics.

Role Summary

• Work within specified research grants and projects and contribute to writing bids
• Operate within area of specialism
• Analyse and interpret research findings and results
• Contribute to generating funding
• Contribute to licensing or spin out deals with demonstrated commercial success (such as revenues asset or company sales IP generated) and/or public understanding of the discipline or similar

Main Duties

The responsibilities may include some but not all of the responsibilities outlined below.

• Develop research objectives and proposals for own or joint research with assistance of a mentor if required
• Contribute to writing bids for research funding
• Analyse and interpret data
• Apply knowledge in a way which develops new intellectual understanding
• Disseminate research findings for publication research seminars etc
• Supervise students on research related work and provide guidance to PhD students where appropriate to the discipline
• Contribute to developing new models techniques and methods
• Undertake management/administration arising from research
• Contribute to Departmental/School researchrelated activities and researchrelated administration
• Contribute to enterprise business development and/or public engagement activities of manifest benefit to the College and the University often under supervision of a project leader
• Collect research data; this may be through a variety of research methods such as scientific experimentation literature reviews and research interviews
• Present research outputs including drafting academic publications or parts thereof for example at seminars and as posters
• Provide guidance as required to support staff and any students who may be assisting with the research
• Deal with problems that may affect the achievement of research objectives and deadlines
• Promotes equality and values diversity acting as a role model and fostering an inclusive working culture.

Person Specification

• First degree in area of specialism andnormally a higher degree relevant to research area or equivalent qualifications/experience
• High level analytical capability
• Ability to communicate complex information clearly
• Fluency in relevant models techniques or methods and ability to contribute to developing new ones
• Ability to assess resource requirements and use resources effectively
• Understanding of and ability to contribute to broader management/administration processes
• Contribute to the planning and organising of the research programme and/or specific research project
• Coordinate own work with others to avoid conflict or duplication of effort
• Knowledge of the protected characteristics of the Equality Act 2010 and how to actively ensure in day to day activity in own area that those with protected characteristics are treated equally and fairly

Informal enquiries to Dr Sergey Goncharov email:

We believe there is no such thing as a typical member of University of Birmingham staff and that diversity in its many forms is a strength that underpins the exchange of ideas innovation and debate at the heart of University life. We are committed to proactively addressing the barriers experienced by some groups in our community and are proud to hold Athena SWAN Race Equality Charter and Disability Confident accreditations. We have an Equality Diversity and Inclusion Centre that focuses on continuously improving the University as a fair and inclusive place to work where everyone has the opportunity to succeed. We are also committed to sustainability which is a key part of our strategy. You can find out more about our work to create a fairer university for everyone on our website.

Key Skills
Bioinformatics,Genetics,R,Biochemistry,Cell Biology,Research Experience,Statistical Software,Cell Culture,Molecular Biology,Data Analysis Skills,Flow Cytometry,Microscopy
Employment Type : Full-Time
Experience: years
Vacancy: 1
Monthly Salary Salary: 36130 - 45413