Opis stanowiska
Projekt „POLARIS: Reachability in Infinite Systems at High Resolution” finansowany przez Komisję Europejską (kontrakt nr 101231447; kierownik projektu: dr hab. Wojciech Czerwiński, prof. ucz.) skupia się na badaniu trudnych problemów w dziedzinie systemów nieskończenie-stanowych. Główny nacisk jest położony za zrozumienie fundamentalnych modeli obliczeń oraz prosto definiowalnych, naturalnych problemów. Praca w projekcie będzie koncentrować się na następujących dwóch kierunkach:
1) Problem osiągalności w VASSach oraz pokrewnych systemach. Głównym celem jest lepsze zrozumienie złożoności problemu osiągalności w podklasach VASów oraz ich uogólnieniach. Poza tym rozważane będą też inne systemy łączące modelowanie współbieżności oraz rekurencji.
2) Problem separowalności. Jednym z głównych celów jest rozstrzygnięcie statusu rozstrzygalności problemów F-separowalności dla klas G, gdzie F to różne naturalne podklasy języków regularnych (jak języki lokalnie testowalne lub definiowalne w logic
Nasze wymagania
- • spełnienie wymagań określonych w art. 113 ustawy Prawo o szkolnictwie wyższym i nauce (Dz.U. 2024, poz. 1571 t.j.);
- w momencie zatrudnienia kandydat musi posiadać stopień doktora nauk matematycznych, w dziedzinie matematyka lub informatyka (lub równoważne uprawnienia uzyskane zagranicą);
- posiadanie znaczących osiągnięć naukowych;
- posiadanie planu dalszej działalności badawczej;
- posiadanie doświadczenia międzynarodowego
Zakres obowiązków
- prowadzenie badań naukowych w zakresie zadań badawczych w ramach projektu;
- publikowanie wyników badań
Dokumenty wymagane do rekrutacji
- podpisana informacja dotycząca przetwarzania danych osobowych (załączona);
- podpisane oświadczenie osoby kandydującej (załączona);
- kopia dyplomu ukończenia studiów magisterskich;
- zawierać życiorys, który: 1) opisuje przygotowanie merytoryczne oraz osiągnięcia naukowe kandydata; 2) przedstawia listę wszystkich publikacji naukowych kandydata (włącznie z jeszcze nieopublikowanymi manuskryptami) wraz z wyszczególnieniem trzech najważniejszych prac
Załączniki
Dodatkowe informacje dla kandydata
Konkurs jest pierwszym etapem procesu rekrutacji, prosimy o zapoznanie się z Polityką otwartej, przejrzystej i opartej na osiągnięciach rekrutacji w Uniwersytecie Warszawskim link
Etapy konkursu
Konkurs składa się z następujących etapów:
Etap I – ocena formalna dokumentów,
Etap II – ocena merytoryczna na podstawie przedłożonych dokumentów,
Etap III – rozmowa kwalifikacyjna z wybranymi kandydatami: prezentacja dotychczasowych osiągnięć8,
Etap IV – ostateczna ocena kompetencji, doświadczenia i dorobku naukowego,
Etap V – rozstrzygnięcie konkursu i ogłoszenie wyników.
Przewidywany termin i sposób informowania o rozstrzygnięciu konkursu
30 czerwca 2026
wyniki zostaną kandydatom przekazane drogą elektroniczną przez kierownika projektu
Kontakt w razie pytań związanych z konkursem
w zakresie aspektów merytorycznych: wczerwin@mimuw.edu.pl
zawsze z podaniem numeru referencyjnego ogłoszenia
zgłoszenia potrzeb związanych z zapewnieniem dostępności należy