Two Assistant Professors in Mathematical and Computational Logic

Faculty/Services: Faculty of Science

Educational level: PhD

Function type: Academic Staff

Closing date: 22 January 2023

Vacancy number: 10982

Are you working at the forefront of mathematical and computational logic and are you passionate about research and teaching in this field? Are you looking forward to take the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation?

The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to hire two new faculty members in this area. These appointments are envisaged at the assistant professor level, but, in the case of an exceptionally strong candidate, one of the appointments could be made at the associate professor level.

At the ILLC we strive for a better gender balance amongst our staff. We therefore strongly encourage women to apply for these positions.

We will consider applications from individuals working in any area within mathematical and computational logic. One of these positions is reserved for a logician working in model theory, set theory or proof theory, with the aim of strengthening our profile in one of these traditional areas of mathematical logic.

What are you going to do?

As a faculty member at the ILLC you will contribute to all aspects of the institute’s scientific mission, taking into account the standard research:teaching ratio of 60:40 at the ILLC.

This includes, in particular:

• Research:

  • developing an independent line of research; publishing your work in recognized outlets; supervising PhD candidates and postdocs; and supporting your research through the acquisition of funding from agencies such as the NWO and ERC, and possibly industrial partners;

• Teaching:

  • designing and teaching courses in Logic, in programmes such as the BSc Mathematics and the MSc Logic, but possibly also in the BSc Computer Science; and supervising students at both the Bachelor’s and the Master’s level;

• Knowledge transfer:

  • engaging in outreach activities directed at the general public; and, where possible, seeking cooperation with partner organizations in the private and the public sector.

• Professional service:

  • contributing to the proper functioning of the international scientific community through peer review, serving on relevant editorial boards and programme committees, as well as other relevant activities.

• Management:

  • contributing to management and administrative tasks at the institute, related to both education and research.

What do you have to offer?

We are looking for outstanding academics, with a strong track record in research and a true dedication to first-class teaching.

In particular, we require:

• a PhD in Mathematics, Computer Science, or a related discipline;

• a strong track record of publications in renowned conference proceedings or journals;

• teaching experience at university level and demonstrable didactic abilities;

• experience with and commitment to supervising and mentoring students;

• willingness to acquire the Dutch Basic Teaching Qualification for academic staff (BKO) within two years of your appointment;

• a proven track record of attracting research funding (for Associate Professor);

• an extensive international network of research contacts (for Associate Professor);

• the ability to communicate research findings to a broad audience;

• willingness and ability to perform relevant administrative and organizational tasks;

• team spirit and a strong affinity with the ILLC’s interdisciplinary environment;

• an excellent command of the English language and willingness to learn Dutch.

Our offer

We offer a temporary employment contract for a period of 18 months, with the intention of converting it into a permanent contract after a positive assessment. The gross monthly salary depends on relevant prior experience and will range (for an Assistant Professor) from €3.974,- to €6.181,- (scale 11/12).

These figures apply in case you opt for a full-time contract of 38 hours per week (part-time arrangements of 0.8fte are possible as well). The annual salary will be supplemented with an 8% holiday allowance and an 8.3% end-of-year bonus. A favourable tax agreement, the so-called ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Dutch Universities applies.

The starting date is negotiable, but preferably will be not later than 1 September 2023.

About us

The University of Amsterdam is the Netherlands' largest university, offering the widest range of academic programmes. At the UvA, 30,000 students, 6,000 staff members and 3,000 PhD candidates study and work in a diverse range of fields, connected by a culture of curiosity. The Faculty of Science has a student body of around 8,000, as well as 1,800 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 at the University of Amsterdam in which researchers from the Faculty of Science and the Faculty of Humanities collaborate. Research at the ILLC brings together insights from various disciplines concerned with the study of fundamental principles of encoding, transmission, and comprehension of information, such as logic, mathematics, computer science, artificial intelligence, computational linguistics, philosophy, and cognitive science. The institute offers a friendly and international research environment with world-class faculty in all of its areas of specialization.

The research unit Mathematical and Computational Logic, one of the six research units at the institute, focuses on gaining a deeper understanding of the nature of information and the processes of reasoning and computation. Its research builds on a strong tradition in logic in the Netherlands, going back to the work of Brouwer, Heyting and Beth. Researchers in the unit are internationally recognized as leading figures on foundational issues in mathematics, theoretical computer science and AI. Current research focuses on modal and intuitionistic logic, category theory, and the dynamics of information.

We are based in the beautiful city of Amsterdam, known for its historic system of canals, its laid-back cosmopolitan atmosphere, and its excellent connections to the rest of Europe and the world.

Want to know more about our organisation? Read more about working at the University of Amsterdam.

Any questions?

Do you have questions about these vacancies? Or do you want to know more about the institute? You are very welcome to contact the chair of the search committee:

• Prof.dr. Yde Venema

Job application

If you feel the profile fits you, and you are interested in the job, we look forward to receiving your application. You can apply online via the button below. We accept applications until and including 22 January 2023.

Your application should include the following information (in one single PDF document):

• a cover letter (of up to three pages), discussing in some detail your past and ongoing research, your future research plans, and your teaching philosophy;

• your CV, including a summary of your past teaching and supervision activities as well as your list of publications (please highlight and provide non-paywalled URLs for two publications that are representative of your work);

• names, affiliations, and email addresses of three academic referees who can provide details about your academic profile in relation to this position (we assume that we may contact these referees for a reference, unless you explicitly specify conditions for doing so).

Additional information may be requested from shortlisted candidates at a later stage. Interviews are planned for February or March. A trial lecture may be part of the selection procedure.

Please submit your application no later than 22 January 2023, using the link below. Please use the CV field to upload the PDF document specified above (and do not submit a separate document with a cover letter). We will only consider applications that are complete and that have been submitted in this manner.

Only complete applications received within the response period via the link below will be considered.

The UvA is an equal-opportunity employer. We prioritise diversity and are committed to creating an inclusive environment for everyone. We value a spirit of enquiry and perseverance, provide the space to keep asking questions, and promote a culture of curiosity and creativity.

If you encounter Error GBB451, reach out to our HR Department directly. They will gladly help you continue your application.