AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


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

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.