Postdoctoral research assistantship & PhD student position in theoretical computer science, Oxford (U.K.)

The Automated Formal Verification Group is advertising posts for a Grade 7 Research Assistant and a fully funded DPhil (Oxford's "PhD") position, to work on the automated verification of concurrent programs that make use of shared memory under the direction of Daniel Kroening and Joël Ouaknine in the Oxford University Computing Laboratory.

The work will take place within the Verification group in the Oxford University Computing La bo ratory, which comprises, in addition to the two investigators, world-leading experts in software verification and model checking such as Marta Kwiatkowska, Tom Melham, Luke Ong, and Bill Roscoe.

Applications must be received before 14 or 31 May 2010, respectively. For more information, see the ads at http://www.comlab.ox.ac.uk/news/179-full.html and http://www.comlab.ox.ac.uk/news/149-full.html, or contact the project supervisors Daniel Kroening (kroening at comlab.ox.ac.uk) and Joël Ouaknine (joel at comlab.ox.ac.uk).