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 al-Rifaie ( Tu...


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


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



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 (vacancy ref FS0207).

To discuss this role informally, please contact Professor Yiannis Papadopoulos, T 01482 465981 or 

Previous applicants need not apply.

Closing date: 8 June 2012

For information about the Department of Computer Science, please visit: