Department of Computer Science, University of Oxford Project “VERIWARE: From software verification to everyware verification” Grade 07S Post-doctoral Research Assistant Post
Posted: 28th March 2012
Department of Computer Science, University of Oxford
Project “VERIWARE: From software verification to everyware verification”
Grade 07S Post-doctoral Research Assistant Post
The Verification theme is offering a Grade 7 postdoctoral researcher post to work on quantitative software verification under the direction of Professor Marta Kwiatkowska in the Department of Computer Science, University of Oxford.
Applicants should have a PhD in Computer Science or a closely related field and at least 2-3 years of postdoctoral experience, including theoretical work and contribution to software tool development. They should have excellent knowledge of theoretical computer science, model checking and probabilistic verification; a track record of publications in areas relevant to this project; and proven ability and willingness to participate in the development of experimental software.
The successful candidate will be expected to contribute both to theoretical research as well as practical software development, including software tool releases and benchmarks. He/she will provide leadership for the relevant research aspects of the project and to provide support and technical assistance for junior research assistants and doctoral students associated with the project.
This post is a full time appointment, and is available immediately for up to 35 months. The post has a salary on the University grade 07 scale, currently £29,249 - £35,938 p.a.
The closing date for applications is 12 noon on Wednesday, 25th April 2012.
For further details see document below and to apply please visit:
The policy and practice of the University of Oxford require that all staff are offered equal opportunities within employment. Entry into employment with the University and progression within employment will be determined only by personal merit and the application of criteria which are related to the duties of each particular post and the relevant salary structure. In all cases, ability to perform the job will be the primary consideration. Subject to statutory provisions, no applicant or member of staff will be treated less favourably than another because of his or her age, sex, marital or civil partnership status, sexual orientation, religion or belief, racial group or disability.