Research Assistant/Associate – Formal Verification of Synthetic Biology Models
Post-doctoral position in the group of Dr. Paolo Zuliani in the Interdisciplinary Computing and Complex BioSystems (ICOS) research group at Newcastle University, UK
(https://portabolomics.ico2s.org/dr-paolo-zuliani/)
EPSRC 5-year program grant: Synthetic Portabolomics
“Leading the way at the crossroads of the Digital and the Bio-Economies”
Advent Post-Doc Formal Verification of SynBio Models