MRes student grant in Logic and Computation, Swansea (Wales)

Swansea University invites applications for an industrial funded studentship for studying a Master of Research in Logic and Computation at the department of Computer Science, Swansea. The successful candidate will be awarded the home fee and a £6,000 per annum bursary, to commence in September 2010. Required qualification is a Bachelor / Master (or equivalent) in Computer Science or Mathematics.

The studentship is dedicated to an industrial related research project under the supervision of Dr Roggenbach in the Processes and Data Group. The objectives of this project are
- to provide a model of test data in the algebraic specification language CASL and
- to utilise this model for decision table based testing.
Besides data modelling in CASL, the project will involve automatic and interactive theorem proving.

For more information, see http://www.swan.ac.uk/compsci/mres/MResLogicComp.html and http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/, or contact contact Markus Roggenbach at csmarkus at swan.ac.uk.