PhD Studentship

PhD Studentship

[categories]

Date: Mon, 17 Nov 1997 17:59:19 GMT
From: Barney Hilken <bhilken@cs.man.ac.uk>

Please could you bring this to the attention of any suitable candidates?
My apologies to those who receive multiple copies.

Barney.

-----------------------------------------------------------------------


        **** Research studentship leading to a PhD ****
                   University of Manchester,
		Department of Computer Science.

A new research project, `Topological Duality for Modal, Temporal and
Program Logics', has recently been awarded funding by the Engineering
and Physical Sciences Research Council. A three-year PhD studentship 
is on offer on this project. This is an opportunity to join an 
active research group working in applied logic and theoretical 
Computer Science. The student will gain training in research skills 
and learn how to apply mathematics to fundamental problems in 
Computer Science. The Computer Science Department of Manchester 
University is a large and active department, with research activities 
in many aspects of Computer Science. 

The project aims to use new results in modal logic to describe the
behaviour of computing systems. The student will work on applications to 
dynamic logic (a logic of system states), and through this work
will gain a thorough training in modal logic, category theory,
semantics and theoretical computer science. 

Prerequisites are a good degree, at least half of which is mathematics, 
including knowledge of algebra, topology and logic. Some knowledge of
Computer Science, though not essential, would be useful.

The funding covers fees and subsistence for UK citizens, or fees only
for EU citizens. The start date is as soon as possible, and not later
than 1st October 1998.

Investigators: Dr. David Rydeheard and Dr. Harold Simmons,
               with Dr. Barnaby Hilken.

For further details contact: Dr. David E. Rydeheard,
   email: david@cs.man.ac.uk, tel: +161 275 6164

For application forms contact: Mrs. Janet Boyd,
   The Postgraduate Office, Department of Computer Science,
   The University, Oxford Road Mancheter, M13 9PL.
   Quoting: GR/L85756

   Or email: janetb@cs.man.ac.uk

PhD studentship

[Neil Ghani]

                                 PhD Position
                                        in
       Category Theory and Functional Programming

       Department of Computer and Information Science
            University of Strathclyde, Scotland


Applications are invited for one PhD position within the Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. Peter Hancock, Dr. Robert Atkey, and five PhD students. The PhD project centers around applications of categorical methods to functional programming languages. The project is under the direction of Patricia Johann.

The successful applicant will have either a first-class degree or an MSc in Mathematics or Computing Science or a related subject with a strong Mathematics or Computing Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential; good programming skills are a plus. Prior knowledge of category theory and/or functional programming is an advantage, but is not required.

The PhD position is for 3 years; it starts early October of 2011. The position is a fully-funded post for a UK or EU student, and includes both coverage of fees and an EPSRC-level stipend for each of the three years.

More information about the department is available at

        http://www.strath.ac.uk/cis

The University of Strathclyde (http://www.strath.ac.uk) is located in the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of Britain's largest, liveliest and most interesting cities" (see http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde.

Requests for further information and other informal enquiries can be sent to:

                 Patricia Johann
         patricia at cis.strath.ac.uk

Those interested in the position are asked to send e-mail to the address given above in the next week, since there is a very short deadline for this position.



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

PhD studentship

[Ranko Lazic]

Dear Colleagues,

We would be grateful if you brought this to the attention of potential
students.

---

Department of Computer Science
University of Warwick
England

PhD studentship
Scalable Software Model Checking Based on Game Semantics

A three-year PhD studentship funded by the Engineering and Physical
Sciences Research Council is available from October 2003.  It covers
academic fees, and living expenses at the following rates: GBP 9,000
(2003/04), GBP 10,500 (2004/05), GBP 12,000 (2005/06).

* Project summary

Model checking has been a highly successful approach to verification of
hardware and protocols.  Recently, model checking of software has become
an active and important area of research and application.  In contrast to
hardware and protocols, software is often highly structured, and contains
objects, higher-order computation, complex control mechanisms, pointers,
concurrency, and other features.  Although impressive tools have been built,
a number of substantial challenges remain for software model checking.

One of the main breakthroughs in theoretical computer science in the past
decade has been the development of game semantics, which has produced
the first accurate models for a variety of programming languages and
logical systems.  Founding software model checking on game semantics has
the potential to overcome most of the remaining challenges, because
the models are compositional in the style of denotational semantics,
yet have clear operational content.

We propose contributions to theory and practice of the novel research
direction of software model checking based on game semantics.  Our main goal
is to enable compositional verification of programs and specifications which
contain large, polymorphic or infinite data types.  This has not been
addressed so far, but is necessary for the approach to scale to industrial
software.

The studentship will be supervised by Dr R Lazic, within the Theory and
Practice of Programming research group led by Prof D Peled.

Collaboration is planned with the Foundations of Computation research group
at Oxford, and with Formal Systems (Europe) Ltd.

* Requirements and application

You should have at least a II.1 degree in Computer Science or Mathematics,
or equivalent.  You need to have experience of at least one of:
- semantics of programming languages,
- automata theory,
- process algebra,
- category theory.

Further information is available at:
http://www.dcs.warwick.ac.uk/people/academic/Ranko.Lazic/res/phd.html

Informal enquiries by e-mail are welcome:
Ranko.Lazic@dcs.warwick.ac.uk

You can apply on-line, stating the project title in Question 13:
http://www.warwick.ac.uk/study/postgraduate/

Closing date: 11 July 2003.