Call for Participati...

The AISB Convention is an annual conference organised by the ( The 2017 Convention will be held at the University of Bath, UK, with t...


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


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

PhD and postdoc positions in formal methods for grid computing, Norway


Bergen University College (Norway), Faculty of Engineering, has 1-3
open positions for PhD students/research fellows (3-4 years) and 1-2
open positions for postdoctoral researchers (2-3 years) in computer
science/informatics, as a part of the research project Formal
Modelling and Verification of Grid Systems (FORMGRID), funded by the
Research Council of Norway.

Deadline: 28 November 2009.

The researchers will be associated with the Department of Computer
Engineering. The department is responsible for the bachelor programmes
in computer engineering and information technology, as well as a
masters programme in software development in collaboration with the
Department of Informatics, University of Bergen.

Grid systems enable networks of loosely coupled computers to be used
as a single "virtual" computer, in order to solve problems which are
computationally hard and/or require large storage capacities. Grid
systems are complex systems, and it is not necessarily obvious whether
or not a given system will behave in a correct and reliable
manner. Methods, models, tools and technologies for verifying that a
grid system has desired properties are therefore needed.

The goal of the FORMGRID project, scheduled to start late 2009, is to
develop theories, techniques and tools for designing and analysing
grid computing systems based on formal methods. In particular, the
focus will be on:

- diagrammatic models of (aspects of) grid systems based on category
 theory, and
- formal verification of (aspects of) grid systems based on model
 checking of modal multi-agent logics.

The FORMGRID project forms a part of Bergen University College's
strategic research programme DISTECH - Software Technologies for
Distributed Systems. The programme currently involves 8 permanent
professors and associate professors and several PhD and master

* Qualifications and requirements : PhD positions*

A successful applicant must have earned a master's degree, or
equivalent, in computer science/informatics, or in a similar field
with a master's thesis on a relevant subject, or have submitted a
master's thesis before the application deadline. It is required that
the master's degree is awarded within 4 weeks after the application
deadline. A background in formal logic, model checking, multi-agent
systems, grid computing, and/or category theory will be considered a
significant advantage when candidates are ranked. In addition to the
required educational background, the following criteria will be
evaluated: competence, quality of the master's thesis, publications,
research and teaching experience, practical software development
skills and experience. A submitted outline of a proposed research plan
for the PhD project will also be taken into account, but is not

The position is for three or four years. Depending on the background
and qualifications of the candidate, a four year position may be
offered including 25 % of the time spent on duties such as teaching,
development or administrative tasks. The employment period may be
reduced if the successful applicant has held previous employment as a
research fellow. The PhD student must enrol in an approved PhD
programme. Bergen University College does not award PhD degrees, but
will together with a degree awarding institution develop a detailed
plan for the PhD studies. The degree awarding institution will be
chosen by Bergen University College, and has on previous similar
occasions been the University of Bergen. The successful candidate must
have sufficient qualifications to be accepted into the PhD programme
of the awarding institution. The PhD student will be assigned an
academic supervisor at Bergen University College, who will assist the
candidate with the application for PhD enrolment at the awarding

* Qualifications and requirements : postdoc positions*

A successful applicant must have earned a PhD degree, or equivalent,
in computer science/informatics, or in a similar field with a thesis
on a relevant subject. Applicants must have achieved a Norwegian
doctorate or equivalent PhD education abroad, or have presented the
dissertation for assessment by the closing date for applications. A
background in formal logic, model checking, multi-agent systems, grid
computing, category theory, and/or algorithms, combined with practical
software development skills and experience, will be considered a
significant advantage when candidates are ranked. In addition to the
required educational background, the following criteria will be
evaluated: competence, quality of the PhD thesis, publications,
research and teaching experience.

* Application procedure *

Apply electronically by using the following links (use the "send
application" link on the bottom of the page):

For the PhD student positions:
For the postdoc positions:

In addition, paper copies of a written application, CV, diplomas,
transcripts, publications and a publication list must be submitted in
three complete sets within a week after the deadline. The applicant is
responsible for ensuring that the submitted sets are complete. The
papers will be returned when the case is closed. Send all documents
to: Hgskolen i Bergen, Seksjon for personal- og
organisasjonsutvikling, Postboks 7030, 5020 Bergen, Norway.

Applicants for the position will be evaluated by a committee
consisting of three members.

* Employment and salary *

Employment for the PhD student positions will be for 3 or-4 years
depending on the candidate as explained above. Salary for the PhD
position will be offered according to code 1017 (stipendiat) in the
Norwegian State Salary Scheme gross NOK 355 600 to NOK 387 500 per
year. PhD students are normally remunerated at salary level 45. The
postdoc positions will be offered for 2-3 years dependent on the
qualifications of the candidate. Salary will be offered according to
code 1352 (postdoktor) in the Norwegian State Salary Scheme gross NOK
438 700 to NOK 499 700 per year.

There is a compulsory 2 % deduction to the pension fund. Successful
candidates are obliged to comply with general directives for this
position at any time.

Applicants may be called in for an interview.

Women and applicants with minority background are encouraged to apply
in accordance with Bergen University College's Policy for Equal

Contact: Associate professor Thomas gotnes,