Logic List Mailing Archive

(Senior) Lectureship in Mathematical Logic, Amsterdam (The Netherlands), Deadline: 3 Dec 2012

Assistant/Associate Professor Mathematical Logic
Faculty of Science - Institute for Logic, Language and Computation (ILLC)

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