The Role

This position is a part of the PROWESS project, a Framework 7 project to develop tools and techniques for property-based testing of web services. PROWESS builds on the success of the ProTest project, 2008-11, which received the highest possible evaluation (excellent) in its final review.

Project success depends on effective liaison between the Research Associate and the other consortium members, and both technical clarity and clear communication will be key to establishing suitable interfaces. At Kent you would be part of a vibrant group working on modelling and testing, and within the project there is considerable scope for working with our international partners on the above and related tasks. Together the project has a real opportunity to have a strong academic impact, as well as influencing the future direction of testing in industry.

The Person

Technically, you will be expected to have knowledge and experience of programming in a modern functional programming language, such as Erlang, Haskell, or F. You will be expected to have a strong background in core computer science, and so to be able to work effectively in model and machine extraction, testing, program analysis and so forth, learning from the literature what knowledge and skills are necessary.

You will hold a Postgraduate Research degree or equivalent in Computer Science and have excellent team working skills, including with colleagues at different sites. With the ability to work independently as a researcher / developer you will be able to demonstrate an enthusiasm for research.

For a complete person specification please refer to the job description.

The Department

The School of Computing at Kent has been engaged in teaching, research and enterprise activities for more than thirty years. The School conducts its teaching and research on both the University of Kent’s main campuses – Canterbury and Medway. The School also delivers a portfolio of taught postgraduate courses, some taught jointly with other Schools in the University.

Further Information

Start Date for applications: 9 October 2012

Closing date for applications: 8 November 2012

How to apply - please go to the Job Opportunities pages on the University of Kent website. Please do not send your application directly to the department.

By Sam Nicholls
Published 16th October 2012
Contact: cs-webmaster@kent.ac.uk