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


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

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


Read More...

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

Notice

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

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