Assistant professor in Mathematical Logic

Faculty/Services: Faculty of Science

Educational level: PhD

Function type: Academic Staff

Closing date: 9 June 2024

Vacancy number: 12963

Are you working at the forefront of mathematical 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 a new faculty member in this area, at the assistant professor level. At the ILLC we strive for a better gender balance amongst our staff. We therefore strongly encourage women to apply for this position.

While we will consider applications from individuals working in any area within mathematical logic, with the aim of strengthening our profile in the traditional areas of mathematical logic we have a strong preference for a logician working in model theory or set theory.

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

Your profile

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;

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

• willingness and potential to attract research funding;

• 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 38 hours per week for a period of 18 months, with the intention of converting it into a permanent contract after a positive assessment. The preferred starting date is January 1, 2025.

The gross monthly salary, based on 38 hours per week and dependent on relevant experience, ranges between € 3,974 to € 6,181 (scale 11-12). This does not include 8% holiday allowance and 8,3% year-end allowance. The UFO profile Assistant Professor is applicable. A favourable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Universities of the Netherlands is applicable.

Besides the salary and a vibrant and challenging environment at Science Park we offer you multiple fringe benefits:

• 232 holiday hours per year (based on fulltime) and extra holidays between Christmas and 1 January;

• multiple courses to follow from our Teaching and Learning Centre;

• a complete educational program for PhD students;

• multiple courses on topics such as leadership for academic staff;

• multiple courses on topics such as time management, handling stress and an online learning platform with 100+ different courses;

• 7 weeks birth leave (partner leave) with 100% salary;

• partly paid parental leave;

• the possibility to set up a workplace at home;

• a pension at ABP for which UvA pays two third part of the contribution;

• the possibility to follow courses to learn Dutch;

• help with housing for a studio or small apartment when you’re moving from abroad.

Are you curious to read more about our extensive package of secondary employment benefits, take a look here.

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 any questions or do you require additional information? Please 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 09 June 2024.

Applications should include the following information (all files besides your cv should be submitted in one single pdf file):

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

• a detailed CV including the months (not just years) when referring to your education and work experience;

• a list of publications (please highlight and provide non-paywalled URLs for two publications that are representative of your work);

• the names, affiliations and email addresses of two academic referees (we assume that we may contact these referees for a recommendation letter, unless you explicitly specify conditions for this).

A knowledge security check can be part of the selection procedure (for details: national knowledge security guidelines).

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

The interviews will be held in the course of September 2024.

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.