Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.