Department of Computer Science, University of Oxford Project “Quantitative Verification: From Model Checking to Model Measuring” Grade 07S Postdoctoral Research Assistant
Posted: 3rd August 2012
The Verification Group is looking to recruit a Grade 7 Postdoctoral Research Assistant to work within the above research project under the direction of Joel Ouaknine in the Department of Computer Science at Oxford University. The successful candidate will be expected to conduct research into the analysis and model checking of infinite-state systems.
Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field, strong algorithmic or theoretical skills, and experience of decision problems for infinite-state systems such as Petri nets, pushdown automata, counter machines, well-structured transition systems, etc.
The Verification Group at Oxford comprises several world-leading academics conducting research in a wide variety of areas, both theoretical and applied. See:
http://www.cs.ox.ac.uk/research/verification/
The post, which is a fixed term contract, is available from 1st October 2012 until 30th September 2013 (with the possibility of extension for another year), will have a salary on the University grade 7S scale (currently £29,249 - £35,938 p.a.), will include membership of USS as well as an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).
For further details see documents below and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=103881
The closing date for applications is 12 noon on 20th August 2012.
For informal enquiries, please contact:
Joel Ouaknine <joel@cs.ox.ac.uk >
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.
