<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#ffffff" text="#000000">
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">Dear
all,<br>
<br>
the following fully funded Master of Research student ship by my
colleague <br>
Markus Roggenbach might be of interest to students involved in the Agda
community.<br>
If I understood him correctly it is related to data coming from
astronomy.<br>
<br>
Anton<br>
<br>
**********************************************************<br>
MRes Studentship on<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">
Algebraic modelling of test data<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">Swansea
University invites applications for an industrial funded<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">studentship
for studying a Master of Research in Logic and Computation<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">at
the department of Computer Science, Swansea, see<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"> <a
href="http://www.swan.ac.uk/compsci/mres/MResLogicComp.html"
style="color: blue; text-decoration: underline;">http://www.swan.ac.uk/compsci/mres/MResLogicComp.html</a><o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">The
successful candidate will be awarded the home fee and a £6,000 per<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">annum
bursary, to commence in September 2010. [Oversea students will<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">have
to cover the difference to the home fees themselves.]<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">The
studentship is dedicated to an industrial related research project<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">under
the supervision of Dr Roggenbach<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">(<a
href="http://cs.swan.ac.uk/%7Ecsmarkus/"
style="color: blue; text-decoration: underline;">http://cs.swan.ac.uk/~csmarkus/</a>)
in the Processes and Data Group<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">(<a
href="http://www.cs.swan.ac.uk/%7Ecsmarkus/ProcessesAndData/"
style="color: blue; text-decoration: underline;">http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/</a>).<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">The
objectives of this project are<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">-
to provide a model of test data in the algebraic specification<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"> language
CASL and<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;">-
to utilise this model for decision table based testing.<o:p></o:p></div>
</div>
<div>
<div
style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman',serif;"><o:p> </o:p></div>
</div>
Besides data modelling in CASL, the project will involve automatic
and <br>
interactive theorem proving.<br>
<pre class="moz-signature" cols="72">--
---------------------------------------
Anton Setzer
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
UK
Telephone:
(national) (01792) 513368
(international) +44 1792 513368
Fax:
(national) (01792) 295708
(international) +44 1792 295708
Visiting address:
Faraday Building,
Computer Science Dept.
2nd floor, room 211.
Email: <a class="moz-txt-link-abbreviated" href="mailto:a.g.setzer@swan.ac.uk">a.g.setzer@swan.ac.uk</a>
WWW:
<a class="moz-txt-link-freetext" href="http://www.cs.swan.ac.uk/~csetzer/">http://www.cs.swan.ac.uk/~csetzer/</a>
---------------------------------------
</pre>
</body>
</html>