A Research Fellow is to be appointed at Birmingham, to start by October 2009, on my EPSRC project to apply techniques of geometric logic to the topos approaches to quantum theory (Isham and Doering at Imperial, Landsman's group at Nijmegen).
The job is now posted online at Birmingham, application deadline 10th June 2009; go to http://www.hr.bham.ac.uk/jobs/ and search by post number 43408. There will be an advertisement on http://www.jobs.ac.uk/ shortly.
You can also find all that information on my website at
The "more detailed project description" is at http://www.cs.bham.ac.uk/~sjv/geophysics/Summary.pdf