* Research Position on IRIS project at Queen Mary University of London
@ 2021-09-15 19:52 Edmund Robinson
0 siblings, 0 replies; only message in thread
From: Edmund Robinson @ 2021-09-15 19:52 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-09-15 19:52 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-15 19:52 Research Position on IRIS project at Queen Mary University of London Edmund Robinson
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).