Logic List Mailing Archive

PhD student position in Computer Science, Heriot-Watt University, Deadline: 19 June 2009

One PhD studentship in Computer Science, Heriot-Watt University

One PhD studentship is available in Computer Science at Heriot-Watt 
University funded under the EPSRC Doctoral Training Awards. These pay fees 
and a stipend at an EPRSC-set level, currently 12,940 GBP a year for UK 
candidates, and fees only (no subsistence)  for EU candidates. ***Overseas 
candidates are NOT eligible.***

Potential candidates should have a Bachelor?s degree in Computer Science 
or a cognate discipline at the 2(1) level or an equivalent academic 
qualification. Please submit a CV (including the names of two academic 
referees) and short (max 6-pages) research proposal in one of the 
following specific areas relating to research groups in Computer Science 
at Heriot-Watt. Further details of groups and their members are available 
at http://www.macs.hw.ac.uk/cs/resareas/index.htm

Computer Science at Heriot-Watt offers an active and stimulating research 
atmosphere with more than 50 current PhD students organised in 
internationally-leading research groups. It ranked equal 3rd among 
Scottish CS Departments in the 2008 RAE and is a member of the Scottish 
Informatics and Computer Science Alliance uniting Scotland?s CS Research 
Universities. Its researchers hold substantial funding from both UKRC and 
the EU ? see http://www.macs.hw.ac.uk/cs/resareas/grants.htm.

Research areas:

VIS&GE ? synthetic characters, affective systems, interactive narrative, 
interactive and game-based educational systems

ULTRA ? computerisation of mathematics, types and rewriting in programming 
languages and mobility calculi, types in logic and theorem proving

Intelligent Systems Lab ? membrane computing, ambient intelligence, 
artificial immune systems, systems biology, evolutionary computing

Dependable Systems Group ? formally-motivated computing, systems 
modelling, programming languages, automated reasoning, 
parallel/distributed/mobile systems, Pervasive and Ad Hoc systems

To apply, please send your CV and research proposal to: ruth@macs.hw.ac.uk 
with a short covering email which must indicate which research group and 
specified research area your proposal covers.

****************
Deadline: June 19th