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