Logic List Mailing Archive

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

MRes Studentship on
                Algebraic modelling of test data

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, see

  http://www.swan.ac.uk/compsci/mres/MResLogicComp.html

The successful candidate will be awarded the home fee and a 6,000 per
annum bursary, to commence in September 2010. [Oversea students will
have to cover the difference to the home fees themselves.]

The studentship is dedicated to an industrial related research project
under the supervision of Dr Roggenbach
(http://cs.swan.ac.uk/~csmarkus/) in the Processes and Data Group
(http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/).

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.

Required qualification is a Bachelor / Master (or equivalent) in Computer 
Science or Mathematics.
For further information contact Markus Roggenbach (csmarkus@swan.ac.uk).