Job title:
1 postdoctoral research position in the scientific project “Frontiers of automatic analysis of concurrent systems”
Company:
Job description
Offer Description1 postdoctoral research position in the scientific project “Frontiers of automatic analysis of concurrent systems”
financed by the National Science Center (grant agreement no UMO-2021/41/B/ST6/00535)Principal Investigator: Sławomir LasotaThe National Science Center project „Frontiers of automatic analysis of concurrent systems”, 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 planned between 1st January and 1st February 2025 – to be agreed with the selected candidate. The offered salary is around 7600 PLN per month pre-tax. The position comes with no teaching obligations. Selected candidate will work on separability problems.Description of the project
The project is about pushing further theoretical foundations of automatic analysis of models of concurrent systems by investigating the frontiers of such analysis, and to enhance its practical applicability. We concentrate on the model of Petri nets and investigate questions like coverability or reachability of given configuration. The research in the project focuses on the following directions:
● Petri nets reachability problem;
● Analysis of subclasses of Petri nets;
● Decidability borderline;
● Separability. 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:
● concurrency theory;
● mathematical models of concurrent systems;
● automaty theory.
Research experience in any of the following areas will be an advantage:
● logic;
● formal verification.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:
In order to apply for the position, candidates should send an e-mail and submit the documents as attached .pdf files.
Application deadline: December 13, 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 December 27, 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.
Information on the Internal Reporting Procedure at the University of Warsaw based on the Act of 14 June 2024 on the Protection of Whistleblowers The University of Warsaw has implemented a procedure for whistleblowers to report legal violations and for subsequent follow-up actions-the Internal Reporting Procedure, which is an annex to the Rector’s Order No. 94 of 17 September 2024 on the procedure for reporting legal violations by whistleblowers and taking follow-up actions at the University of Warsaw. This procedure has been published and is available in the University Monitor, entry 266.Where to apply E-mail[email protected]RequirementsResearch Field Computer science » Other Education Level PhD or equivalentResearch Field Mathematics » Other Education Level PhD or equivalentLanguages ENGLISH Level GoodInternal Application form(s) neededSOBD1102024166-0006785.pdfEnglish(400.92 KB – PDF)Additional InformationWork Location(s)Number of offers available 1 Company/Institute Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw. Country Poland GeofieldContact State/ProvinceMazovia Province CityWarsaw WebsiteStreetKrakowskie Przedmieście 26/28 Postal Code02-097STATUS: EXPIREDShare this page
Expected salary
7600 per month
Location
Warszawa, mazowieckie
Job date
Sat, 09 Nov 2024 08:03:24 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.
