Postdoctoral Researcher

Bug The Automated Formal Verification Group is expecting to offer a post for a Grade 7 Re­search Assistant to work on the automated verification of concurrent pro­grams that make use of shared memory under the direction of Daniel Kroening and Joël Ouaknine in the Oxford University Computing Laboratory. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field. The primary selection criteria are strong programming and systems skills, some experience of tool construction, and basic knowledge of program analysis. A background in theoretical computer science or mathematics is desirable. Candidates with prior experience with pro­gramming for the x86 memory model are especially encouraged to contact us, although this is by no means a necessary requirement.

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 soft­ware verification and model checking such as Marta Kwiatkowska, Tom Melham, Luke Ong, and Bill Roscoe. The posts will have a salary on the University grade 7 scale (currently £28,839 to £35,469 pa).

At this point, we welcome expressions of interest via e-mail to Daniel Kroening and Joël Ouak­nine.

PhD Studentship

The Automated Formal Verification Group is offering a fully funded DPhil (Oxford's "PhD") position at Oxford University's Computing Laboratory. The position is associated with a project under the supervision of Daniel Kroening and Joël Ouaknine and will address the correctness of multi-threaded concurrent software. The studentship is fully funded (at EU fees level – overseas candidates will need supplementary funding) for 3½ years.

The studentship includes a stipend of at least £12,940 per year as well as provision for travel to conferences. Candidates must satisfy the usual requirements for studying for a doctorate at Oxford. The formal advertisement and instructions for applying are online at http://www.comlab.ox.ac.uk/news/149-full.html.