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ć tytuł magistra z matematyki lub informatyki (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
Mile widziane
- Ponadto oczekujemy że kandydat będzie studentem studiów doktoranckich w jednej dyscyplin: matematyka lub informatyka oraz będzie miał doskonałe przygotowanie w obu tych dyscyplinach, w szczególności w jednej lub kilku z następujących dziedzin: – teoria automatów i logika w informatyce; – złożoność obliczeniowa; – lub kombinatoryka.
Zakres obowiązków
- prowadzenie badań naukowych w zakresie zadań badawczych w ramach projektu;
- publikowanie wyników badań
Oferujemy
- miejsce pracy: Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, ul. Banacha 2, 02-097 Warszawa
- stanowisko nie jest obciążone obowiązkami dydaktycznymi i zawiera budżet na podróże służbowe
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 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ęć,
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
10 września 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 wpisać w Życiorysie jako Inne ważne informacje od osoby kandydującej