Oferty pracy w projektach finansowanych przez NCN
Narodowe Centrum Nauki prezentuje bazę ogłoszeń o wolnych stanowiskach pracy przy projektach finansowanych przez Centrum. Narodowe Centrum Nauki nie ponosi odpowiedzialności za treść i wiarygodność przesyłanych ofert pracy.
Uprzejmie informujemy o nowych warunkach zatrudniania osób na stanowiska typu post-doc: limit czasu upływającego od uzyskania stopnia doktora dla aplikujących na te stanowiska kobiet może być przedłużony o 1,5 roku za każde urodzone bądź przysposobione dziecko.
Oferta pracy
Nazwa stanowiska: Adiunkt (post-doc)
Wymagania:
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.
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.
Termin składania ofert: 13 grudnia 2024, 00:00
Forma składania ofert: email
Warunki zatrudnienia:
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.
Dodatkowe informacje: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, available here: https://drive.google.com/file/d/1veUc2muuevmOnUXkkSxLhgmMPYgL4Qwa/view?usp=sharing.
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 Principal Investigator, 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.
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.