We currently have four fully-funded PhD Studentships in UCL’s Programming Principles, Logic, and Verification group associated with the project.
For an informal discussion, please contact David Pym (d.pym@ucl.ac.uk), James Brotherston (j.brotherston@ucl.ac.uk), or Will Venters (w.venters@lse.ac.uk).
For any further queries please contact Julia Savage on j.savage@ucl.ac.uk.