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

Requirements
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

Appointment

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

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.