Are you a high potential young researcher with a PhD degree in Computer Science, Computational Linguistics, Mathematics, Artificial Intelligence, or a related discipline, and would you be interested to join the Logic and Language programme at our institute to investigate Natural Language Interpretation as Abductive Inference? If so, we invite you to apply for this position.

This postdoc position is part of the NWO Open Competition project 'A Sentence Uttered Makes a World Appear---Natural Language Interpretation as Abductive Model Generation'. The successful applicant will join the group of Reinhard Muskens. The aim of the project is to explore how semantic values are assigned to natural language expressions in a compositional way and how the resulting values, represented as logical expressions, are subsequently enriched by means of abductive reasoning. The latter is studied in a tableaux setting.

What are you going to do?

You will be expected to fulfil the following tasks:

• collaborate with the other researchers working on the project (the PI and two further postdocs, to be hired at a later date);
• assist with the supervision of PhD candidates and MSc students;
• regularly present research results at international workshops and conferences, and publish them in conference proceedings and journals;
• participate in and contribute to the organisation of research activities and events at the institute, such as workshops and colloquia.

While this is primarily a research position, you will have the opportunity to contribute to teaching activities.

You have:

• a PhD degree in Computer Science, Computational Linguistics, Mathematics, Artificial Intelligence, or a related discipline;
• a strong background in Logic or Computational Logic, as witnessed by publications in relevant conference proceedings or journals;
• in-depth knowledge of one of the following areas is a plus: 1) Resolution calculi and tableau calculi for first-order and higher-order logics, 2) Theories of abductive inference, 3) Natural language semantics, 4) Belief Revision;
• a strong passion for research and the wish to learn new skills through working with or assisting in guiding PhD and MSc students;
• excellent communication skills in English, both oral and written.

Fixed-term contract: 1 year.

An employment contract for 1 year for 38 hours per week, preferably starting a.s.a.p. but no later than 16 January 020. An extension for 2 years subsequently follows if we assess your performance positive. The salary, depending on relevant experience before the beginning of the employment contract, will be between €2,709 and €4,274 (scale 10), based on fulltime (38 hours a week), exclusive 8 % holiday allowance and 8.3 end-of-year bonus. A favorable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Dutch Universities is applicable.

Are you curious about our extensive package of secondary employment benefits like our excellent opportunities for study and development? Take a look at our website. 

University of Amsterdam

With over 5,000 employees, 30,000 students and a budget of more than 600 million euros, the University of Amsterdam (UvA) is an intellectual hub within the Netherlands. Teaching and research at the UvA are conducted within seven faculties: Humanities, Social and Behavioural Sciences, Economics and Business, Law, Science, Medicine and Dentistry. Housed on four city campuses in or near the heart of Amsterdam, where disciplines come together and interact, the faculties have close links with thousands of researchers and hundreds of institutions at home and abroad.  

The UvA’s students and employees are independent thinkers, competent rebels who dare to question dogmas and aren’t satisfied with easy answers and standard solutions. To work at the UvA is to work in an independent, creative, innovative and international climate characterised by an open atmosphere and a genuine engagement with the city of Amsterdam and society.

Faculty of Science – Institute for Logic, Language and Computation

The Faculty of Science has a student body of around 6,500, as well as 1,600 members of staff working in education, research or support services. Researchers and students at the Faculty of Science are fascinated by every aspect of how the world works, be it elementary particles, the birth of the universe or the functioning of the brain.

The Institute for Logic, Language and Computation (ILLC) is an interdisciplinary research institute that aims at bringing together insights from various fields concerned with information and information processing, such as computational linguistics, computer science, artificial intelligence, logic, philosophy, mathematics, linguistics, cognitive science and music cognition. Its central research area is the study of fundamental principles of encoding, transmission and comprehension of information. It offers an international research environment with world-class faculty in all of its areas of specialization.