CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


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



AISB opportunities Bulletin Item

(Senior) Lectureship in Mathematical Logic, Amsterdam, THE NETHERLANDS

The Institute for Logic, Language and Computation (ILLC) is a research institute at the University 
of Amsterdam in which researchers from the Faculty of Science and the Faculty of Humanities 
collaborate. Its central research area is the study of fundamental principles of encoding, 
transmission and comprehension of information.

The ILLC is looking for excellent candidates for an Assistant/Associate Professorship in the 
field of Mathematical Logic.

The vacancy is in ILLC??s Logic and Computation group. The research mission of this group is 
to gain a deeper understanding of the nature of information and the processes of reasoning and 
interaction. The group is renowned for its work in mathematical logic, theoretical computer 
science, and artificial intelligence.

While applications by candidates from all areas of mathematical logic will be considered, there 
is a preference for candidates with a strong research profile in proof theory and/or the 
foundations of mathematics. Tasks

Independently conducting research in mathematical logic, resulting in contributions to 
leading international publications (60%);
     teaching and developing teaching activities in the field of mathematical logic (40%);
     ILLC expects its tenured staff to acquire sufficient fluency in the Dutch language within 
two years of tenured appointment;
      (co-)supervising Bachelor's and Master's theses;
      (co-)supervising PhD candidates;
      acquisition of research funding;
      we expect all staff from UD upwards to share in the administrative and organisational tasks 
at ILLC (e.g. committee memberships, etc.).

Relevant PhD degree;
excellent research skills and experience, evidenced by publications in renowned international journals or conference proceeding
teaching experience at university level and demonstrable didactic abilities and/or training. 
All permanent staff are required to have a University teaching qualification (the so-called Basis 
Kwalificatie Onderwijs, BKO). If the successful candidate does not yet have this qualification, it 
should be obtained during the probation period; team spirit and a strong affinity with ILLC's 
multi-disciplinary environment.

Further Information

Research at ILLC is interdisciplinary, and aims at bringing together insights from various 
disciplines concerned with information and information processing, such as logic, mathematics, 
computer science, philosophy, linguistics,cognitive science, artificial intelligence, and 
musicology. The institute is organized in three research groups: Logic and Computation (LoCo), 
Logic and Language (LoLa) and Language and Computation (LaCo). For an overview of the research 
being carried out in the different groups, please take a look at Research at ILLC. 
For the research carried out by individual staff members at ILLC, see People at ILLC and check 
their personal webpages.

Further information regarding the vacancy may be obtained from:

      Dr Ulle Endriss, Research leader Logic &Computation group or
      Professor Yde Venema, Chair mathematical logic and foundations of computer science and 
director ILLC


In principle, the vacancy concerns a permanent position. According to standard university policies 
this implies that experienced candidates will be offered a permanent contract, after an initial 
probation period of three years. Junior candidates may be offered a tenure track agreement. The 
type of appointment is negotiable and depends on experience and scientific profile of the selected 

In the case of a tenure track agreement, the appointment will be on a temporary basis, with an 
agreed number of evaluation moments during a maximum of six years. In case of positive evaluations,
the candidate will then  be promoted to a more senior permanent position. Details of the criteria, 
which will include success in research, education, and acquisition of research funding, will be 
mutually agreed upon before the appointment.

Based on a full-time appointment (38 hours per week) the gross monthly salary for the assistant 
professor will bescale 11 or 12 (UD2 or UD1) ranging from ?? 3195,- to ?? 4970,- depending on 
expertise and previous experience. The associate professor (UHD2) 
is scale 13, ranging from ?? 4428,- to ??5390,-. The salary will be increased by 8 % holiday 
allowance and 8.3 % end-of-year bonus. The Collective Labour Agreement (CAO) of the Dutch 
Universities is applicable.

The starting date of the appointment should be as soon as possible, but no later than September 2013.

The University of Amsterdam is striving for a better balance in its staff whereby, in case of 
equal suitability, the appointment of a female candidate will have our preference. Women are, 
therefore, strongly encouraged to apply.
Job Application

Applications should include:

      a letter of motivation
      a curriculum vitae, including a list of publications
      the name and contact details (including email address) of three academic referees

All these should be grouped in one single PDF attachment. Please quote the vacancy number 12-223 in the subject line.

The closing date for application is 3 December 2012.