Email Gateway (Aug 18 2022 at 14:50): Email Gateway (Aug 18 2022 at 14:50):From: Temesghen Kahsai <lememta@gmail.com>
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 and end in September 2011.
[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.
Candidates should hold a BSc or MSc in Computer Science / Mathematics.
Enquiries and informal applications are welcome till April 30, 2010,
to M.Roggenbach@swan.ac.uk.
Temesghen Kahsai
web: http://www.cs.swan.ac.uk/~csteme
Dep. of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP, UK
Last updated: Nov 21 2024 at 12:39 UTC