There are two postdocs at Oxford on the project " Categorical unification: where foundational physics, natural language and rational processes meet", within the quantum group headed by Abramsky and myself. More details on the project: http://www.cs.ox.ac.uk/news/523-full.html and on the group: http://www.cs.ox.ac.uk/activities/quantum/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]