CAUTION: The Sender of this email is not from within Dalhousie. I apologise for any inconvenience caused by cross-posting. We are advertising an approximately two-year position for a postdoctoral researcher based in London on the IRIS project (interfacereasoning.com<http://interacereasoning.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. The formal application page with more details is at:https://webapps2.is.qmul.ac.uk/jobs/job.action?jobID=5719 and if you want to discuss a possible application, do please contact me. best wishes Edmund Robinson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]