AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


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