Centre for Synthetic Biology and the Bioeconomy

News Items

PhD Studentship in Computing Science - Verification of Portable Synthetic Biocircuits (EPSRC Portabolomics)

New PhD studentship in the group of Dr. Paolo Zuliani at the School of Computing, Newcastle University, UK.

(http://www.ncl.ac.uk/computing/people/profile/paolozuliani.html#background)

This PhD project will advance our world-leading model checking technologies for both verifying and designing biocircuits that are certifiably compliant with the Portabolomics bio-adaptor. This challenge includes the following research strands:

  • Property description formalisms for specifying design requirements for the bio-adaptor and more generally for Synthetic Biology.
  • Model checking and partial order reduction techniques for combating state-explosion in formal verification of bio-engineered designs.
  • Formal parameter synthesis protocols and design exploration for hybrid network models for hybrid abstract-concrete network models.
  • This studentship provides a unique opportunity to perform interdisciplinary, high-impact research within a well-funded group of researchers. The successful candidate will join the ICOS group, which consists of 50 individuals conducting cutting-edge research at the interface of computing science and complex biological systems.

For more information, please visit

http://www.ncl.ac.uk/postgraduate/funding/sources/ukeustudents/cs062.html

 

EPSRC 5-year program grant: Synthetic Portabolomics

“Leading the way at the crossroads of the Digital and the Bio-Economies”

published on: