Postdoctoral position on reasoning about interfacing & communication (2y), London (England)

We are advertising an approximately two-year position for a postdoctoral researcher based in London on the IRIS project (interfacereasoning.com) at Queen Mary.

IRIS is an EPSRC programme grant led by UCL and with academic partners Imperial and LSE as well as Queen Mary, and whose industrial partners are Amazon AWS, BT, Facebook, GridPP, HP Labs, and Methods Group.

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.