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
Mile widziane
- Ponadto oczekujemy kandydat w momencie zatrudnienia będzie posiadał doskonałe przygotowanie w obydwu dyscyplinach (matematyka i informatyka), w szczególności w jednej lub kilku z następujących dziedzin: teoria automatów i logika w informatyce; algebra; lub kombinatoryka. W przypadku zatrudnienia oczekujemy, że Uniwersytet Warszawski będzie dla wyłonionej osoby podstawowym miejscem pracy.
Zakres obowiązków
- prowadzenie badań naukowych w zakresie zadań badawczych w ramach projektu;
- publikowanie wyników badań
Oferujemy
- stanowisko nie jest obciążone obowiązkami dydaktycznymi i zawiera budżet na podróże służbowe
- miejsce pracy: Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, ul. Banacha 2, 02-097 Warszawa
Dokumenty wymagane do rekrutacji
- podpisana informacja dotycząca przetwarzania danych osobowych (załączona);
- podpisane oświadczenie osoby kandydującej (załączona);
- kopia dyplomu doktorskiego;
- 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; 3) wskazuje trzech doświadczonych naukowców, którzy mogą posłużyć jako referencje dla kandydata.
Załączniki
Dodatkowe informacje dla kandydata
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ęć,
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