Call for Proposals
AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...
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...
Lighthill Debates
The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video Â
Read More...
Notice
AISB opportunities Bulletin Item
Research Assistant in Dependable Telehealth systems, Department of Computer Science, University of Hull, UK
Providing a high level of research support, you will play an integral role in the success of a pioneering research project within the Department of Computer Science. This research will benefit clinicians, practitioners and researchers alike in the fields of medical engineering and telehealth. With state-of-the-art facilities, the Department of Computer Science is internationally recognised as a centre for excellence in teaching and research. The successful candidate will be employed as a Research Assistant (post-doctoral or equivalent) on a HEIF5 funded project (Dependable and Adaptive Frameworks for TeleHealth). This project sits alongside other research such as Computational Issues and Case Studies in TeleHealth, Philips Healthcare funded Advanced Medical Intelligence and the FP7 BraveHealth and SemnaticHealth projects. You will work towards defining novel ways for combined application of state-of-the-art safety analysis and verification techniques to the telehealth domain. These techniques are likely to include HiP-HOPS – an automated safety analysis technique pioneered by the University of Hull - and model checking. The objective of the work will be the modelling, and assessment of systems and workflow processes in a distributed telehealth environment. It is envisaged that HiP-HOPS might be used for hazard analysis, while model-checking or another more scalable technology may be used for verification of models. Knowledge of telehealth applications is not essential but experience with at least one relevant verification technology is essential. This is a fixed term post for 24 months. Salary range £31,020 - £35,938 pa You can learn more about this position and apply online at www.hull.ac.uk/jobs (vacancy ref FS0207). To discuss this role informally, please contact Professor Yiannis Papadopoulos, T 01482 465981 or Email: y.i.papadopoulos@hull.ac.uk Previous applicants need not apply. Closing date: 8 June 2012 For information about the Department of Computer Science, please visit: www2.hull.ac.uk/science/computer_science.aspx www.hull.ac.uk/jobs |



