01.01.2021

The St.Petersburg State University invites applications for a full-time position of Associate Professor (Docent) in

**Mathematical Logic and Theoretical Computer Science**

for advanced teaching within the Department of Mathematics and Computer Science.

This position includes teaching both in Russian and in English.

The undergraduate program in Mathematics and TCS is very selective, with students being some of the best in the world. In particular, every year more winners of the all-Russian mathematical Olympiad are joining our program than any other similar program in Russia. The department has also graduate programs. The well-known Chebyshev Laboratory (http://chebyshev.spbu.ru/en/) is a part of our new Department.

Applicants are expected to have a strong research record and to be able to teach both in Russian and in English. Appointees are expected to carry out research of high level, to teach well, and to perform customary administrative duties such as advising students, participating in committees, organizing admissions, etc. The teaching load is up to 8 academic hours (= 6 astronomic hours) per week.

The salary level for this position is 189,471 rub. per month. Initial contract is normally signed for a period of up to five years, and can be renewed by further 5 year terms.

The link for the details of the formal application procedure:

https://hr.spbu.ru/konkursy/31748-matematika-i-kompyuternye-nauki-11-01-2021.html

In addition to the formal application sent according to the above link, all applicants are invited to send a copy of their CV to Alina Zagorodnyuk <chebyshev.msc@gmail.com> mentioning any detail that could be relevant to the work of the selection committee, such as, for instance, the names of students they supervised, if any, etc.

The minimum requirements for the position are as follows:

– the degree of Ph. D. (foreign) or Cand. Sci. (Russian);

– at least four refereed publications indexed simultaneously in MathSciNet and Scopus in 2015-2020;

– at least three years of experience in research or teaching (excluding Ph.D. studies but including work on research projects/grants).

Applications and questions on formalities should be sent to Aurelia Smorodintseva <a.smorodintseva@spbu.ru> (Deputy Chief of the HR Department). Less formal questions should be sent to Alina Zagorodnyuk <chebyshev.msc@gmail.com> who can also provide templates for the formal documents to be submitted to the personnel officer, so we recommend to contact Alina first and then send the official application.

The applications are accepted starting January 11, 2021.

Deadline: **February 12, 2021**.

Teaching starts: September 1, 2021.

TCS and Logic group at the department includes

Elena Arseneva (computational geometry, formerly at Universite Libre de Bruxelles),

Edward A. Hirsch (proof complexity, jointly with Steklov Institute at St.Petersburg),

Alexander S. Kulikov (computational complexity, jointly with Steklov Institute at St.Petersburg),

Alexander Okhotin (complexity of automata, formerly University of Turku),

Svetlana Puzynina (combinatorics, formerly at Universite Paris Diderot),

Saswata Shannigrahi (discrete geometry, formerly at IIT Guwahati),

Dmitry Sokolov (proof complexity, formerly at Lund University and University of Copenhagen),

Stanislav Speranski (mathematical logic, formerly at Novosibirsk State University),

Alexander Tiskin (algorithms, formerly at University of Warwick).

19.03.2021

19.03.2021