Lund University | Assistant Professor in Foundations of Computer Science with a Focus on Logic and Automated Reasoning

Lund University welcomes applicants with diverse backgrounds and experiences. We regard gender equality and diversity as a strength and an asset.
The Department of Computer Science is Hiring an Assistant Professor in Foundations of computer science with a focus on logic and automated reasoning
The assistant professor will be working at the Department of Computer Science where research into the foundations of computer science is conducted by Susanna de Rezende and Jakob Nordström. Professor Nordström leads the research group Mathematical Insights into Algorithms for Optimization (MIAO) ( which is also active at the University of Copenhagen. The research has a unique profile in that it spans questions from the theoretical, mathematical foundations of efficient computation all the way to state-of-the-art practical algorithms for real-world problems. This creates a very special environment, where the research projects do not only go deep into different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Much of the research activities revolve around powerful algorithmic paradigms such as Boolean satisfiability (SAT) solving, Gröbner basis computations, integer linear programming, and constraint programming. The study of such methods leads to classical questions in computational complexity theory–though often with new, fascinating twists–but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice
Subject
Foundations of computer science with a focus on logic and automated reasoning
Subject description
The overarching area for the position is algorithms for foundational problems within logic, automated reasoning, and combinatorial optimization. This includes design and implementation of algorithms for computational problems within Boolean satisfiability (SAT) solving, constraint programming, mixed integer linear programming, and/or satisfiability modulo theories (SMT) solving. In addition to algorithm construction, another topic of interest is to develop a scientific understanding of the practical performance of automated reasoning algorithms and to investigate relations between empirical observations and theoretical results in algorithm analysis and computational complexity theory. Yet another related area concerns methods of ensuring that algorithms compute provably correct results, which can be used to develop trustworthy algorithms for automated reasoning and combinatorial optimization.
Work duties
Employment as an assistant professor is a tenure track position, which aims for the holder to develop their independence as a researcher and educator. The work duties mainly involve research and teaching. The position includes the opportunity to undertake five weeks of training in teaching and learning in higher education.
Work duties include
Research within the subject area.
Teaching in the first, second, and third cycles of studies.
Supervision of degree projects and doctoral students.
Actively seeking external research funding.
Collaboration with industry and wider society.
Administration related to the work duties listed above.

Qualification requirements
Qualification requirements for employment as an assistant professor are fulfilled by someone who has been awarded a doctorate or has the corresponding research competence.
Primary consideration should be given to someone who has been awarded a doctorate or achieved the equivalent competence within five years of the deadline for application for employment as an assistant professor. However, someone who has been awarded a doctorate or achieved the equivalent expertise at an earlier date may also be considered if there are special grounds. Special grounds are sick leave, parental leave or other similar circumstances.
Assessment criteria
For appointment to assistant professor, the following shall form the assessment criteria:

A good ability to develop and carry out high quality research.
Teaching ability.

Additional requirements
Very good oral and written proficiency in English.
Significant documented research experience (e.g. from postdoc or doctoral studies) from another university/institute or relevant experience from industry/public sector.
Publications in internationally leading conferences in the area such as AAAI, CP, IJCAI, IJCAR, SAT, SODA, and similar, or in leading journals such as AIJ, JACM, JAIR, and SICOMP.
Collaborative skills, initiative and the ability to solve work tasks independently, as well as a demonstrated interest in leadership.

Other qualifications
Documentet experience of successful research grant applications.
Documented experience of software development of tools for automated reasoning and/or combinatorial optimization.
Demonstrated ability to collaborate with wider society.
The extent to which the applicant, through their experience and skills, may complement and strengthen ongoing research, undergraduate education, departmental innovation, and how they can contribute to the future development of the department will also be taken into consideration.
Terms of employment
This is a full-time, fixed-term employment of 6 years. The employment is regulated in accordance with Chapter 4 Section 12a§ HEA. The purpose of the appointment is for the teacher to be given the opportunity to develop research autonomy and acquire the scholarly and teaching qualifications required for eligibility for appointment as a senior lecturer.
We offer
Lund University is a public authority which means that employees get particular benefits, generous annual leave and an advantageous occupational pension scheme. Read more on the University website about being a Lund University employee: on how to apply
Applications shall be written in English. Please draw up the application in accordance with LTH’s Academic qualifications portfolio – see link below. Upload the application as PDF-files in the recruitment system. Read more:
to Senior Lecturer in Foundations of computer science with a focus on logic and automated reasoning.
During the period of employment, an assistant professor can apply for promotion to a permanent position as Senior Lecturer if he or she has the required qualifications listed below, and is deemed suitable. An assistant professor can only apply for promotion once.
Qualification requirements
Appointment to senior lecturer requires that the applicant has:
A PhD or corresponding research competence or professional expertise considered important with regard to the subject matter of the post and the work duties it will involve.
Demonstrated teaching expertise.
Completed five weeks of training in higher education teaching and learning, or acquired equivalent knowledge by other means.

Assessment criteria
The assessment criteria specify the aspects to be considered, and the level to be achieved, for the assessment criteria to be deemed fulfilled. The following assessment criteria must be fulfilled for appointment to senior lecturer:

A good national and international standing as a researcher. The requirement for international experience shall be assessed with consideration to the character and traditions of the subject.
Good teaching ability, including a good ability to conduct, develop and lead teaching and other educational activities on different levels and using a variety of teaching methods.
An ability to supervise doctoral students to achieve a PhD.
An ability to collaborate with wider society and communicate his or her activities.
A general ability to lead and develop activities.

Additional requirements
Good ability to collaborate, independence and drive.
Demonstrated ability to actively seek external research funding.
LTH is Lund University’s Faculty of Engineering. At LTH we educate people, build knowledge for the future and work hard for the development of society. We create space for brilliant research and inspire creative advancements in technology, architecture and design. We have nearly 10,000 students. Every year, our researchers – many of whom work in world-leading profile areas – publish around 100 theses and 2 000 scientific findings. In addition, many of our research and degree projects are transformed into innovations. Together we explore and create – to benefit the world.
We kindly decline all sales and marketing contacts.
Type of employment Temporary position
Contract type Full time
First day of employment As soon as possible
Salary Monthly
Number of positions 1
Full-time equivalent 100 %
City Lund
County Skåne län
Country Sweden
Reference number PA2024/3210

Contact Jakob Nordström, 046-2220000,
Elin Anna Topp, +46462224249,
Union representative SACO:Saco-s-rådet vid Lunds universitet, 046-2229364,
OFR/ST:Fackförbundet ST:s kansli, 046-2229362,
Published 06.Nov.2024
Last application date 08.Jan.2025 11:59 PM CET
Apply