University of Bradford Bradford, West Yorkshire
Summary 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. This post is offered at Grade 7 Or Grade 8 dependent on skills and experience. Informal queries can be made to Dr. Savas Konur ([email protected]). The closing date for applications is 12th April 2019.