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

Postdoctoral research fellowship in formal verification, Brno, CZECH REPUBLIC


Postdoctoral Research Fellow

The Parallel and Distributed Systems Laboratory at the Faculty of Informatics, Masaryk University 
is currently expanding its research team and is looking for highly motivated and talented 
individuals to a three year-fixed term post.

The position is available to participate in a project focused on formal verification of complex 
computational systems with special emphasis on combination of explicit and symbolic methods.

The Parallel and Distributed Systems Laboratory aims at intensifying the basic and applied 
research in the area of parallel and distributed method s for the specification, modelling, 
analysis, and verification of parallel and distributed systems. The mainspring of the research is 
the development an d application of theories which underlie mentioned system development activities.
The objective is to bridge the gap between academics and industry by exploiting academically 
well-founded formal methods and by promoting theory formation in the academic sense on the major 
issues of selected industrial areas. We want to come-up with practical solutions an d tooling to 
address the needs found in current and innovative development industry projects.

The topic of the advertised research position is the development of new original methods and 
techniques for the automated verification and analy sis of large-scale computer systems. The main 
obstacle in reaching the goal i s the computational complexity of the task. Several methods have 
been propo sed to fight the problem, however only few of them are used in combination. Our goal 
is to employ a synergy of explicit and symbolic methods in disstribu ted and parallel verifications
to overcome the computational barrier.

Requirements Candidates must hold a PhD degree (or equivalent) awarded after 1 April 2008, should 
be highly motivated and have a strong background in informatics. Candidate must have excellent 
analytical skills, and strong interpersonal and communication skills.

The deadline for applications is March 31, 2012. The gross salary is abou t 2200  per month. The 
post is available from 1 September 2012, but the precise starting date is negotiable.

Interested candidates should email their CV, list of publications, brief statement of interest and 
career goals, names and contact information for
3 references contained in one single PDF file to: Prof. Ivana Cerna Masaryk University Brno Faculty
 of Informatics Botanicka 68a, 602 00 Brno Czech Republic Email: cerna at fi dot muni dot cz 
http://paradise.fi.muni.cz/