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 (firstname.lastname@example.org), James Brotherston (email@example.com), or Will Venters (firstname.lastname@example.org).
For any further queries please contact Julia Savage on email@example.com.
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 http://interfacereasoning.com 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 firstname.lastname@example.org