Logic List Mailing Archive

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

Postdoctoral Researcher

The Automated Formal Verification Group is advertising a post for a Grade
 
7 Research Assistant to work on the automated verification of concurrent 
programs that make use of shared memory under the direction of Daniel 
Kroening and Jol 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 programming 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 software 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). The official ad for the post and instructions f
or 
applying can be found here:

http://www.comlab.ox.ac.uk/news/179-full.html

We expecting to advertise two additional posts for Postdocs to work on 
program analysis in the near future. We welcome any inquiries via e-mail 
to Daniel Kroening and Jol Ouaknine.


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 Jol 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 a
s 
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.