This post is part of a 3 year EPSRC-funded research project entitled “Light-weight Verification for Synthetic Biology”, aimed at developing a novel verification approach that will allow biologists to verify the correctness of synthetic biology systems at the design stage. This will provide increased assurance whether these systems are reliable in principle and work as desired.
The post offers an exciting opportunity to join a multi-disciplinary, highly-skilled and enthusiastic team of academics, postgraduate students with expertise in formal verification, model checking, stochastic simulations and high performance computing with applications to systems and synthetic biology.
The successful candidate will have a PhD degree (or will be expected to achieve soon) in a relevant area: Formal Verification, Model Checking, and/or High Performance Computing Simulation and interests in modelling and applications in Systems and Synthetic Biology.
Excellent communication skills and high quality research publications are essential. The successful candidate will also be expected to have strong programming skills, especially in HPC environments.
The post holder must be an enthusiastic self-motivated person, who can work in an interdisciplinary environment as part of a team, and is reliable, well organised, has an ability to work to tight deadlines when needed, and is keen to learn and apply new skills and approaches. The role requires overseeing the achievement of the research projects objectives, supporting the coordination of current research students, and ensuring that the relevant deadlines and content of projects deliverables are met.
The applicant must be willing to travel and will be expected to make visits to other collaborating institutes and research groups, engaging in continuous professional development to maintain and further develop knowledge and experience of our research team.
The post holder will be a member of the Theory of Computation and Artificial Intelligence Research group at the University of Bradford. The groups have a strong and ongoing track record of national and international funded research and substantial experience in RCUK, EU, Innovate UK and Access Innovation projects.
The project aims to develop a novel verification approach that enables biologists to build reliable and fault-free synthetic biology (SB) organisms regardless of the level of their complexity. The project will address the limitations of the existing tools and methods and to overcome the challenges imposed by the growing complexity of SB systems through a stateof-the-art software platform that integrates different capabilities in a high-performance computing environment. The project will deliver the following research outcomes: