Logic List Mailing Archive

Associate Professorship in Mathematical Logic & Theoretical Computer Science, St. Petersburg (Russia), Deadline: 12 Feb 2021

Position in Mathematical Logic and Theoretical Computer Science

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 is a part of our 
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

Prior to the formal application, 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 personnel 
officer Aurelia Smorodintseva <a.smorodintseva@spbu.ru>. 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).

The news on the department page: https://math-cs.spbu.ru/en/news/new-position-in-math-logic-and-tcs/

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam