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...
0123

Notice

AISB opportunities Bulletin Item

Postdoctoral position in resource reasoning, UCL, London (U.K.)


Research Associate/Senior Research Associate in Resource Reasoning
 University College London -UCL Computer Science

 Full Time : The appointment will be on UCL Grade 7-8. The salary range 
will be Grade 7 is 32,699 - 39,523 per annum, and for Grade 8: 40,618 - 
47,915 per annum, inclusive of London Allowance.

 We are looking for an outstanding researcher with expertise in: logic, 
resource reasoning, and program verification. Some interest in computer 
and/or information security may be advantageous.

 The appointee will contribute to a research project on resource reasoning, 
which involves UCL, Imperial College, and Oxford University. The appointee 
will work with members of the Programming Principles, Logic, and 
Verification group, and may interact with other groups, including both 
Computer Systems and Networking and Information Security, at UCL. The 
researcher?s tasks may include the following: mathematical and theoretical 
work in logic, resource reasoning, and program verification; software 
development; and empirical activities.

 The post is funded for two years in the first instance.

 Candidates should have demonstrated a capability of conducting exciting 
world-class research in resource reasoning and related areas. They will be 
evaluated chiefly on their academic curricula and on the significance and 
novelty of their research to date.

 Candidates for Research Associate (Grade 7) must hold an earned Ph.D. by 
the time of application or be in the process of earning one. A proven 
record of ability to manage time and delivering work on time is desirable.

 Candidates seeking appointment at Senior Research Associate (Grade 8) 
level would need to have experience in leading small teams of researchers, 
an independent research reputation, with evidence of international 
recognition from publications in internationally recognized journals, 
invited talks at international workshops/conferences, and served on 
Programme and Steering Committees. They must also hold an earned Ph.D. and 
have relevant post-doctoral work experience.

 UCL vacancy reference: 1396898

 Applicants should apply online. To access further details about the 
position and how to apply please click on the ?Apply? button below.

 If you have any queries regarding the vacancy or the application process, 
please contact Prof. David Pym, email:d.pym@ucl.ac.uk, telephone: +44 
(0)20 3108 1193.

 Closing Date: 18 February 2014

 UCL Taking Action for Equality.