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 (, James Brotherston (, or Will Venters ( 

For any further queries please contact Julia Savage on

Research Assistant or Postdoctoral Research Assistant

We currently have an opportunity for a one year position for a postdoctoral researcher based in London on the IRIS project at Queen Mary.

This position is at the theoretical end of the project. If appointed your role on the project would be to work on the logical and mathematical framework of the techniques being used. The job would suit someone well-versed in logic and possibly category theory.

Please apply here and if you want to discuss a possible application please contact Edmund Robinson

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s