[TYPES/announce] MRes Studentship in Swansea

[Markus Roggenbach]

                        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 at swan.ac.uk).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100603/b320587e/attachment.htm