AISB Convention 2015

Call for Symposium Proposals: The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Con...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB opportunities Bulletin Item

PhD student position in theory of higher-order verification, London (U.K.)


MICROSOFT PHD SCHOLARSHIP IN THE VERIFICATION OF CONCURRENT HIGHER-ORDER 
PROGRAMS

We are offering a PhD position fully funded for 3 years which aims to 
develop the theoretical underpinnings and successful practical 
applications of higher-order verification to concurrent systems, resulting 
in new program models and tools applicable to real-world code.

The position is due to commence in October 2014 and will be held in the 
Department of Computer Science at Royal Holloway, University of London, 
supervised by Dr. Matthew Hague (http://www.cs.rhul.ac.uk/home/hague/). 
The position may also include an internship at a Microsoft research 
laboratory.

Higher-order programming features are increasingly supported by modern 
languages, such as F Sharp, Python, Scala, Haskell, OCaml and C++.  Thus, 
this forms an increasingly essential topic for verification for which 
there have been several important recent advances.  Furthermore, it is 
clear that concurrency will become the dominant programming paradigm, due 
to both the ubiquity of multi- and many-core machines and the increasingly 
distributed nature of computation.



THE DEPARTMENT OF COMPUTER SCIENCE, ROYAL HOLLOWAY UNIVERSITY OF LONDON

The Department offers a very vibrant research culture. In the last research
assessment (RAE 2008), we ranked 11th in the UK for the quality of our research
output. Our research is strongly supported by external funding from various
sources, including companies. The University itself was ranked 102nd in the
Times HE World Rankings 2013, which equates to 12th place in the UK. We are
situated in a beautiful campus in Egham, Surrey, ranked alongside Oxford and
Cambridge as one of the twelve most beautiful universities in the world. We are
both close to Central London and 10 minutes by taxi from Heathrow Airport.

For more information about the Departmental of Computer Science at Royal
Holloway, visit our web-site in http://www.rhul.ac.uk/computerscience/.



REQUIREMENTS

A good degree in Computer Science, Engineering, Mathematics, or related
disciplines.


APPLICATION PROCESS

Applicants should contact matthew.hague@rhul.ac.uk with an expression of
interest in the position and an up to date CV.  Short-listed candidates will
then be interviewed before a final decision is taken.


IMPORTANT DATES

31st May 2014: deadline for applications
July and August 2014: short-list interviews
October 2014: start of studies


FINANCIAL

The position will be funded for three years.  Funding will cover

     + Tuition fees
     + Stipend for living expenses
     + Up to 1000 for a laptop
     + Some funding for travel expenses