1 postdoctoral research position in the scientific project

“Data-enriched models of computation”
financed by the National Science Center
(grant agreement no UMO-2019/35/B/ST6/02322)
Principal Investigator: Sławomir Lasota

The National Science Center project „Data-enriched models of computation”, led by prof. Sławomir
Lasota, is offering a postdoctoral research position in the Institute of Informatics at the Faculty of
Mathematics, Informatics and Mechanics of the University of Warsaw.

Terms of employment
Selected candidate will be employed as full-time researcher (pol. adiunkt). The duration of employment is
one year. The starting date is between 1st July and 1st October 2023 – to be agreed with the selected
candidate. The offered salary is around 7500 PLN per month pre-tax. The position comes with no
teaching obligations and travel budget. Selected candidate will work on problems in the field of data-
enriched models of computation.

Description of the project
The project is about extending classical models of computation, such as finite automata, with the concept
of data. State space of such automaton is no more finite – but it is finite up to permutation of data (orbit-
finite). The main research objective is to design decision procedures for these models, for the problems
such as non-emptiness (does the automaton accept some input word?), and to study language-theoretic
properties of these models such as determinization of separability. The research in the project focuses on
the following directions:
 Petri nets with data;
 Register automata;
 Timed automata;
 Orbit-finite structures.

Requirements
We expect that candidates at the moment of employment hold a PhD degree in computer science - the
degree can be obtained no earlier than 7 years before the year of employment in project - and have an
excellent background in this discipline, in particular in one or more of the following fields:
 automaty theory;
 formal verification.
Research experience in any of the following areas will be an advantage:
 set theory;
 logic.

Applications
An application should include Curriculum Vitae that:
 presents an overview of the background and scientific achievements of the candidate;
 lists all the candidate’s research works (including not yet published manuscripts);

 gives a name of a researcher who may serve as references for the candidate.
In addition, there should be a signed cover letter addressed to the Dean of the Faculty of Mathematics,
Informatics and Mechanics, University of Warsaw together with the personal data clause (attached).
No research statements are required.
On the day of submitting the application, the candidate does not have to hold a PhD degree.
Applications, as well as further questions on both the scientific topic of the project and formal details of
the call procedure should be directed to prof. Sławomir Lasota: s.lasota@uw.edu.pl
In order to apply for the position, candidates should send an e-mail and submit the documents as attached
.pdf files.

Application deadline: 25 May 2023

Applications which do not satisfy the above requirements or are submitted after the deadline will not be
considered for the position.
The applications will be evaluated by a selection committee appointed by the Dean of the Faculty of
Mathematics, Informatics and Mechanics, University of Warsaw. The committee may invite candidate to
a meeting, which will be conducted remotely. The results of the competition will be sent to candidates
electronically on 15 June 2023 at the latest. The competition is the first stage of the recruitment process as
described in the Statute of the University of Warsaw, the recommendation by the selection committee
being a basis for its subsequent stages.