Post-doc position at Birmingham: toposes and quantum theory

I recently announced a Research Fellowship at Birmingham. Its aim is 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/ in the next couple of days. You can also find all that information on my website at http://www.cs.bham.ac.uk/~sjv/geophysics.php The "more detailed project description" is at http://www.cs.bham.ac.uk/~sjv/geophysics/Summary.pdf Regards, Steve Vickers.