Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] MRes studentship on algebraic modelling of tes...


view this post on Zulip 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

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: Mar 28 2024 at 20:16 UTC