Project PRISMATIC: Unified Hierarchical Probabilistic Verification Tool One Year Grade 06S or Grade 07S Research Assistant Post (Depending on skills/experience)
Posted: 17th November 2010
Oxford University Computing Laboratory
Project PRISMATIC: Unified Hierarchical Probabilistic Verification Tool
One Year Grade 06S or Grade 07S Research Assistant Post
(Depending on skills/experience)
Professor Marta Kwiatkowska from the Oxford University Computing Laboratory (OUCL) has been awarded a DARPA grant for the project PRISMATIC: Unified Hierarchical Probabilistic Verification Tool. PRISMATIC is led by SIFT, a US based company, and involves Oxford and Carnegie Mellon University. The project aims to develop a workflow/process and tool to generate probabilistic “certificates of correctness” for cyber-physical systems, and will be based on probabilistic and statistical model checking, and in particular the PRISM model checker.
The PRISMATIC project has vacancy for a one year Research Assistant position available immediately, at either Grade 06S or Grade 07S. The role will require the postholder to undertake research and software development as defined by the project proposal and to work with colleagues to progress the objectives of the project as part of the PRISMATIC project team. The exact scope of the work will depend on the skills of the appointee who will be expected to fulfil the selection criteria defined below.
Candidates for the Grade 07S position should have a doctoral degree in computer science or a related discipline, and those for the Grade 06S position should have a Masters degree in a relevant subject. All candidates must have familiarity with probabilistic/statistical model checking, excellent programming skills, experience of team working, as well as the ability and willingness to participate in the development of experimental software.
The post, which is a full time appointment for up to one year, has a salary on the University Grade 07S scale (currently £28,983-£35,646) or Grade 06S scale (currently £25,751-£30,747) depending on qualifications and experience, and 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).
Further details of the post, including the selection criteria and method of application are available here
The closing date for applications is 24th December 2010.
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.