Assistant Professor (UD) Position in Logic

The Institute for Logic, Language and Computation 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 Professorship (universitair docent) in mathematical logic, with a preference for candidates with a proven track record in modal logic or related areas of nonclassical logic. The vacancy is in the institute's Logic and Computation group, which is renowned for its work in mathematical logic, theoretical computer science, and artificial intelligence.

Job description

Tasks

• Conducting research in logic, resulting in publications in internationally leading journals and conference proceedings;
• teaching and developing new teaching activities in mathematical logic and related fields covered by the Logic and Computation group;
• administrative and organizational tasks at ILLC (e.g. committee memberships);
• (co-)supervision of Bachelor's and Master's theses;
• (co-)supervision of PhD candidates;
• acquisition of research funding.

ILLC staff can expect to spend roughly 60% of their time on research activities. A specific teaching task of the successful candidate will be to take over the main Mathematical Logic course in the Bachelor of Mathematics programme. Other teaching tasks will include courses in the ILLC's Master of Logic programme, including a research-level course proposed by the candidate.

Requirements

• PhD degree in a relevant discipline;
• excellent track record in research, as evidenced by publications in renowned international journals or conference proceedings;
• teaching experience at university level and demonstrable didactic abilities;
• team spirit and a strong affinity with the ILLC's interdisciplinary environment.

ILLC expects its tenured staff to acquire sufficient fluency in the Dutch language within three years of their initial appointment.

All tenured staff furthermore are required to have a formal university teaching qualification (the so-called basiskwalificatie onderwijs, BKO). If the successful candidate does not yet have this qualification, it should be obtained during the probation period.

Further information

Research at the 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 members of staff members, see People at ILLC and check their personal webpages.

Further information regarding this vacancy may be obtained from:

• Prof. Yde Venema, the scientific director of the ILLC.

Appointment

This vacancy concerns a permanent (i.e., tenured) position. According to standard university policy this implies that experienced candidates will be offered a permanent contract, after an initial probation period of three years.

Based on a full-time appointment (38 hours per week) the gross monthly salary will range from €3,259 to €5,070 depending on previous experience (scale 11-12, UD2-1 rank). The salary will be augmented with an 8% holiday allowance and an 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 1 February 2014.

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 therefore are strongly encouraged to apply.

Job application

Applications should include:

• a short cover letter;
• a curriculum vitae, including a list of publications and an overview of research funding obtained (if applicable);
• a research statement describing your research accomplishments (1-2 pages) and your future research goals (1-2 pages);
• a teaching statement describing your approach to teaching, including an overview of your teaching experience (1-2 pages);
• the names and contact details (including email addresses) of three academic referees.

All these should be grouped in one single PDF attachment and sent to application-science@uva.nl. Please quote the vacancy number 13-222 in the subject line.

The closing date for applications is 10 September 2013. We expect to hold interviews in late October 2013.

No agencies please