Assistant Professor of Type Theory and Theorem Proving

The Department of Software Science of Tallinn University of Technology invites applications for an assistant professor position in the field of Type Theory and Theorem Proving. The position is created in the High-assurance Software Laboratory.

The Department of Software Science is a structural unit of the School of IT. The mission of the Department is to advance internationally and nationally relevant state of the art in research and apply it in bachelor’s, master’s and doctoral education in the areas of computer science, information systems, data science, artificial intelligence and cyber security with the goal to solve problems the society is facing and support sustainable development.

The High-assurance Software Laboratory conducts research into theories, methods and tools for developing high-assurance software, specializing on both proofs (certified software) and testing.

JOB DESCRIPTION

The goal of the assistant professor position is securing the maintenance and further development of the type theory and theorem proving, especially directed towards formal verification, expertise in the Department of Software Science; achieving the goals of the university’s Strategic Plan, in particular enhancing the level and impact of dependable IT solutions, and increasing attractiveness in global partnerships; participating in the research activities, teaching and student supervision of the High-assurance Software Laboratory and the Laboratory for Compositional Systems and Methods.

Tasks:

• carrying out and organisation of research and development in the field and leading of research topics;
• expected lines of research and development: type theory, theorem provers, categorical logic, mathematical methods for computer science;
• development of cooperation with other research and development institutions, public sector and companies;
• development of the material basis required for research and development in the field of type theory and theorem proving;
• supervision of doctoral, master's and bachelor's students in conducting independent research;
• publication of the results of research and development; working as an expert in the field;
• teaching (also at bachelor’s level, but focusing on master’s and doctoral level) and development of teaching by using up-to-date methodologies and educational technology in the field of algorithms and data structures, theorem provers and type theory.

Accompanying tasks: participation in the work of national and international professional decision-making bodies and committees; cooperation with the editorial boards of scientific journals, reviewing research articles; popularisation of one's speciality and area of research; coordinating continuous education training in the field.

The assistant professor position is fixed-term for 8 years. The workplace is located in Tallinn, at Akadeemia tee 21B. Additional information on the position: Marko Kääramees, the Head of Department of Software Science, email: [email protected] .

We offer: a pleasant working environment and salary corresponding to the tasks; the opportunity to develop, take responsibility and achieve results together with the team; benefits for employees at the university and flexible working hours; various sports opportunities in the TalTech Sports Club.

REQUIREMENTS FOR THE CANDIDATE

• a doctoral degree (PhD) in a field of research related to the field of activity, a PhD thesis defended no later than ten years ago;
• research experience from a foreign university or research institution in the field of Type Theory and Theorem Proving;
• previous successful experience in applying for project funding, project management and project execution; shall have received at least 1 grant from competitive funding;
• shall have published research papers in the volume of two doctoral theses and h-index for papers in engineering sciences ≥ 6;
• performing at events of scientific or other organizations or professional activity on social media;
• participation in the activities of professional or research organizations and networks, participation in the unit’s working group;
• participation in graduation theses defence committees at other universities and in international conference committees;
• previous experience in university teaching and teaching experience from a university abroad is desirable;
• language skills: advanced English, acquisition of Estonian language skills supports taking up the position (by the end of the first attestation period, during 5 years from taking up the position we expect Estonian language skills to be acquired at the level of B1).

APPLICATION INSTRUCTIONS

To apply for this position please send the following documents in English by 31 October 2022 at the latest by using the link “Apply ”:

• a motivation letter;
• documents proving that the candidate holds the required academic degree for the position applied;
• a CV, including a list of publications;
• an academic portfolio, including a motivated self-evaluation regarding compliance with the requirements for the assistant professor position set out in the Academic Career Management Regulation, Annex 3 “Academic Evaluation Matrix” (shall be submitted by a university staff member) or a free format evaluation of the academic activity undertaken so far and the competencies required for work (shall be submitted by an external candidate), the candidate shall also provide an overview of his/her research and teaching carried out so far with proof of the quality of teaching;
• a vision-action plan for the future position (the maximum total length 1500 words);
• the names and contacts of two references;
• other documents considered important by the candidate.

For further information on the application documents and recruitment process, please contact the TalTech HR Office: [email protected] .