Salary: Full time starting salary is normally in the range £36,636 to £46,049 with potential progression once in post to £48,822
Contract Type: Fixed Term contract up to December 2027
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 "Higher-Order Monad-based 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 functional-imperative 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 research-related activities and research-related administration
Person Specification
Normally, 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
Informal enquiries to Dr Sergey Goncharov, email: S.Goncharov@bham.ac.uk
To download the full job description and details of this position and submit an electronic application online please click on the 'Apply' button above.
Valuing excellence, sustaining investment We value diversity and inclusion at the University of Birmingham and welcome applications from all sections of the community and are open to discussions around all forms of flexible working