[isabelle] PhD positions available

Dear all,

in my EPSRC funded project `Data and Processes', see


I have funding available for

	1 PhD student and 1 MPhil student

I would be happy if you could point this project out to interested

With kind regards,
  Markus Roggenbach

P.S.: The positions will be shortly be advertised at


Please find attached a draft of the advert.
Markus Roggenbach                 Phone +44-1792-51-3578
Dept. of Computer Science         Fax +44-1792-295708
University of Wales Swansea       M.Roggenbach at Swan.ac.uk
Singleton Park                    http://www.cs.swan.ac.uk/~csmarkus
Swansea SA2 8PP, United Kingdom

1 PhD Studentship
1 MPhil Studentship

in the EPSRC-funded project `Data and Processes'

To develop distributed computer applications such as flight booking
systems, web services, electronic payment systems, it is essential to
precisely specify the interaction of their different components.
Process algebras like CSP do this for the concurrent aspects, but lack
the ability to model data. Algebraic specification languages like CASL
can model data but do not support concurrency. Case studies have shown
that the recently developed specification language CSP-CASL solves the
basic integration problem. However, further research on semantic
foundations, on tool support, and especially on testing is required in
order to turn a language like CSP-CASL into a practically applicable
formalism. An industrial case study on an electronic payment system
will be used to demonstrate and evaluate the research results.

The students will join a research team on CSP-CASL within the group on
`Logic and Algebraic Methods for the Design of Software and Hardware'
at the department of Computer Science Swansea, see
http://www.cs.swan.ac.uk/~csmarkus/EPSRC/dataAndprocesses.html for
further details of the project and the research environment in

The students should have (or attain by Summer 2006) an excellent first
degree (BSc - 1st or 2:i - or equivalent) or advanced degree (MSc or
equivalent) in computer science or mathematics. A background in formal
methods (e.g., in algebraic specification, process algebra, or formal
testing) is desired, experience in functional programming, theorem
proving, or model checking would be welcome.

For informal enquiries please contact Dr Markus Roggenbach
(http://www.cs.swan.ac.uk/~csmarkus, phone +44-1792-51-3578, fax
+44-1792-295708, email: M.Roggenbach at swan.ac.uk).

Application forms are available from

Applications should be sent to:

Dr Markus Roggenbach
Department of Computer Science
University of Wales Swansea
Singleton Park
Swansea SA2 8PP
United Kingdom

The studentship provides a tax-free living allowance (£12,000 for
2005-06) and domestic/EU tuition fees for three years (PhD), for one
year (MPhil). Non-EU students are charged a higher level of tuition
fee which is not covered by this grant; they will be expected to find
this elsewhere, e.g., by applying for an ORS award.

Closing date: February 24, 2006.
Start: March - July 2006. 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.