University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Department of Computer Science, University of Oxford Project “Categorical unification: where foundational physics, natural language and rational processes meet” Grade 07S Research Assistants (Two Posts)

Posted: 3rd August 2012

The Department of Computer Science of University of Oxford seeks two postdoctoral researchers; for 33 months, to work on the JTF project `Categorical unification: where foundational physics, natural language and rational processes meet’.  The researchers will work with Professors Abramsky and Coecke. 

Executive summary:

Recent advances show that category theory can be used to capture the essential be-havioural properties of many complex systems, and provides the right language to study their foundational concepts across a broad range of disciplines, including the physical world, logical and deductive systems, the way that meaning is encoded into a sentence, and closely related, cognition.

Essential mathematical components of this work include monoidal categories, sheaf theory and coalgebra.  The mathematical study of these is currently separate, but the common mathematical formalism underlying them suggests that they should be studied together, as a part of a whole.  The ultimate aim is to develop a fully-integrated mathematical formalism for modelling the physical world, making deductions about it, and communicating those deductions linguistically - in short, a mathematical formalism for intelligent reasoning.

These developments would go hand-in-hand with ongoing projects which aim to automate reasoning about linguistic meaning and quantum processes, by exploiting the logical content carried by the graphical languages which describe these areas.

This project addresses both of the Big Questions of this call, by proposing a new paradigms for knowledge representation, language and reasoning, as well as for the artificial implementation of these.  The models of meaning moreover model the cognitive mind in a similar manner as we model abstract mathematical reasoning.

These posts are full time appointments and are available initially for 33 months (with the possibility of extension).  The post has a salary on the University grade 07 scale, currently £29,249 - £35,938 p.a

The closing date for applications is 12 noon on Friday, 31st August 2012.   The starting date is October 2012.

For further details see documents below and to apply please visit:

https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=103876  

The policy and practice of the University of Oxford require that all staff are offered equal opportunities within employment. Entry into employment with the University and progression within employment will be determined only by personal merit and the application of criteria which are related to the duties of each particular post and the relevant salary structure. In all cases, ability to perform the job will be the primary consideration. Subject to statutory provisions, no applicant or member of staff will be treated less favourably than another because of his or her age, sex, marital or civil partnership status, sexual orientation, religion or belief, racial group or disability.  

 

Documents