Logic List Mailing Archive

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.

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam