CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


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


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


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



AISB opportunities Bulletin Item

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

The Institute for Software Engineering and Programming Languages (ISP, 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
( 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:

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