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


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


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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


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



AISB opportunities Bulletin Item

PhD student position and postdoc position in formal methods, Luebeck, GERMANY

The Institute for Software Engineering and Programming Languages (ISP,
www.isp.uni-luebeck.de) at the University of Lbeck offers openings for a PhD candidate and PostDoc
in the area of "Runtime Verification for Service Oriented Architecture".
              Deadline for application: October 7, 2012.


With about 3,000 students and 160 professors, the University of Lbeck
(www.uni-luebeck.de) is one of the smallest and most focused universities in Europe with a high 
reputation in its main research areas medicine and computer science. The ISP, led by Martin 
Leucker, is part of the computer science division and is involved in several national and 
international projects in the area of formal methods for system design in a broad sense. Our 
research and teaching activities concentrate on modeling and checking quality aspects (such as 
safety, reliability, performance and survivability) of software systems by applying mathematical 
theories and methods, such as model checking, runtime verification, and testing.

We offer a PhD position and a PostDoc position in the following new BMBF funded project:

Safe dynamic interconnection within the surgery room and clinic (OR.NET)

providing plenty of opportunities to cooperate with highly recognized national partners. There is 
also the possibility to gain valuable experience in the emerging field of formal methods for 
healthcare systems, in terms of new theoretical models and methods and in tool implementations. 
The main focus of the positions is to develop runtime verification solutions for service oriented 

For the PhD position, it is expected that a successful PhD thesis is written within a time frame 
of three to four years. The PostDoc position is initially for one year but may be extended up-to 
three years.

** Required profile.
PhD candidates must hold a Master degree or equivalent in computer science or a closely related 
discipline, while PostDocs candidates are expected to hold a PhD. You have outstanding scores and 
have a strong background in formal methods (e.g., runtime verification, model checking, formal 
semantics, automata theory, logic). You should have interest in performing original, highly 
competitive scientific research, publishing the results in top conferences and scientific journals,
implementing scientific results in terms of competitive prototypes, and also participating in 
interaction with student groups. Self-motivation and the ability to work both independently and as 
a team player in local and international research groups are expected. Fluency in English is 
required; proficiency in German is helpful but not compulsory. A contribution to our teaching 
tasks is expected.

** What we offer.
The ISP offers a creative international environment, the possibility to participate in highly 
competitive research on a global scale and also the opportunity to involve students through their 
project work.  PhD positions have either a full status as employee with a salary according to the 
German civil service TV-L E13 scale, which corresponds to approx.
40,000 EUR gross income per year (incl. holiday allowance and end-of-year bonus) depending on your 
family situation or are members of the Graduate School for Computing in Medicine and Life Sciences,
resulting in financial support of a similar scale.  Enrollment will be initially for one year with a
possibility for extension after a positive one-year evaluation.  The University of Lbeck offers 
excellent facilities for professional and personal development.  Starting date of the positions: 
as soon as possible.

** How to apply.
Applications should include:
- a cover letter (explaining your specific research interests and
- a detailed Curriculum Vitae
- a list of all courses + grades, and a paragraph describing your MSc thesis project
- publication list (for PostDoc applications)
- contact details of (at least) two professors that can provide a recommendation for your application.

Please send your application ultimately by September 30 to both e-mail addresses mentioned below.

Further information.
Enquiries about the PhD and PostDoc positions can be directed to:
Prof. Dr. Martin Leucker (e-mail: leucker@isp.uni-luebeck.de)

The University of Lbeck is committed to employment equity. We strongly encourage applications 
from qualified women and persons with disabilities.