1 postdoctoral research position in the scientific project “Challenging Problems in Infinite-State Systems” (INFSYS)

Job title:

1 postdoctoral research position in the scientific project “Challenging Problems in Infinite-State Systems” (INFSYS)

Company:

Job description

Offer Description1 postdoctoral research position in the scientific project “Challenging Problems in Infinite-State Systems” (INFSYS) financed by the European Commission (grant agreement no 950398)
Principal Investigator: Wojciech CzerwińskiThe ERC project „Challenging Problems in Infinite-State Systems” (INFSYS), led by dr hab. Wojciech Czerwiński, 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 for one year, with possible extension for another 7 months. The expected starting date is around 1st of August 2024, up to an agreement between the candidate and the principal investigator. The offered salary combined (basic salary 9 790 PLN gross/month plus project bonus) is around 12 290 PLN per month pretax (around 2 850 EUR), which is more than enough for a comfortable life in Warsaw. The position comes with no teaching obligations and generous travel budget. Selected candidate will work on problems in the area of automata theory and logic in computer science, more specifically on topics connected with infinite-state systems.Description of the project
Project INFSYS focuses on studying challenging problems in the area of infinite-state systems. The main emphasis in on fundamental computational models and simply defined natural problems. The work within the project will concentrate on the following three directions:
· Vector Addition Systems. The main goal is to understand better the complexity of the reachability problem in subclasses and generalizations of VASes.
· Separability problem. One big goal here is to resolve the decidability status of regular separability on VASes. Another direction is to understand better the nature of separability on finite automata and make a progress on the separating words problem.
· Unambiguity. This direction focuses on understanding the nature of unambiguous systems, namely a nondeterministic ones with a certain restrictions on nondeterminism. Here a main focus is on algorithmic aspects: design of efficient algorithms for universality, equivalence and other problems for unambiguous systems.Requirements
We expect that candidate at the moment of employment hold a PhD degree in either mathematics or computer science and have an excellent background in both of them. A good understanding of fundamental theoretical concepts and results in one or more of the following fields is required:
· automata theory and logic;
· algebra;
· combinatorics.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) and indicates three most important of them;
· gives a list of three experienced researchers that may serve as references for the candidate.
In addition to the above, 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.
Applications, as well as further questions on both the scientific topic of the project and on formal details of the call procedure should be directed to dr hab. Wojciech Czerwiński:
In order to apply for the position, candidates should send an e-mail and submit the documents as attached .pdf files.Application deadline: May 23th, 2024
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 June 15th, 2024 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.RequirementsResearch Field Computer science » Other Education Level PhD or equivalentLanguages ENGLISH Level GoodAdditional InformationWork Location(s)Number of offers available 1 Company/Institute Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw Country Poland GeofieldWhere to apply E-mailwczerwin@mimuw.edu.plContact State/ProvinceMazovia Province CityWarsaw WebsiteStreetKrakowskie Przedmieście 26/28 Postal Code02-097STATUS: EXPIRED

Expected salary

12290 per month

Location

Warszawa, mazowieckie

Job date

Sun, 21 Apr 2024 02:23:21 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesin.eu) you saw this job posting.