PhD Position in Chemputation and Chemputability: Reasoning about autonomous chemical synthesis

Applicants are invited for a fully funded PhD studentship (UK fees + stipend at Research Council rates) in an interdisciplinary project between the Schools of Computing Science and Chemistry at the University of Glasgow.

More info at: https://www.findaphd.com/phds/project...

This project brings together research from Chemistry and Computing Science (CS) to address fundamental and practical questions about the new discipline of chemputation—the evolution of automated chemical robotic platforms into the chemical equivalent of digital computers, i.e. chemical processing units (ChemPUs), designed to automate chemical synthesis and the discover new compounds. Chemputers have the potential to revolutionise how we do chemistry, including enabling bespoke drug synthesis in remote locations and large-scale co-creation of chemical experiments through shared chemical synthesis code.

You will investigate the use of formal methods/models for reasoning about chemputers and chemputability — what is possible using chemputation and what constraints we may place on it. Techniques may include type systems to reason about and constrain the chemical code that is executed, and runtime models (digital twins). Together, these will answer questions such as: can my synthesis lead to an unstable chemical? Do I still have enough resources to complete a synthesis if some components fail? Is the user authorized to run this chemputation (which may produce a dangerous or illegal compound)?

This project is interdisciplinarity and wide ranging, from theoretical analysis and modelling within Computer Science, to trying out new ideas on real Chemputer hardware located in the University of Glasgow’s state of the art Advanced Research Centre (https://www.gla.ac.uk/research/arc/).

How to Apply: Please refer to the following website for details on how to apply:

http://www.gla.ac.uk/research/opportu...