Logic List Mailing Archive

Lecturer Position Computational Logic, Amsterdam (ILLC)

University Lecturer (Universitair Docent)
Computational Logic
Universiteit van Amsterdam
Institute for Logic, Language and Computation (ILLC)

Vacaturenr PZ FNWI A-071

The successful candidate will do research between logic and computer
science. Within this field, several research specializations could be
possible, for instance algorithms, logic programming, automated theorem
proving, computational semantics.

The teaching focus is in the Bachelor programme "Kunstmatige
Intelligentie" (a programme taught in Dutch), in particular the courses on
logic and logic programming. In addition to that, the candidate will teach
Master courses in his or her area of specialization.

The candidate has a PhD in a relevant subject and an excellent research
record. He or she is an experienced and enthusiastic teacher. Experience
with grant proposals and fund acquisition will be an advantage.

More information about the ILLC: http://www.illc.uva.nl/.

More information about this position: contact the ILLC Scientific
Director, Prof. dr F. Veltman, e-mail f.veltman@uva.nl.

The successful candidate will be appointed for a 2-year tenure track
period with the expectation of a permanent contract after two years. The
salary is determined by law depending on the experience of the candidate,
but will be between EUR 2934 and EUR 4580 monthly.