Opis stanowiska

Projekt „INFSYS: Challenging Problems in Infinite-State Systems” finansowany przez Komisję Europejską (kontrakt nr 950398; 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 trzech kierunkach:
 Sieci Petriego (VASy). Głównym celem jest lepsze zrozumienie złożoności problemu osiągalności w podklasach VASów oraz ich uogólnieniach.
 Problem separowalności. Jednym z głównych celów jest rozstrzygnięcie statusu rozstrzygalności problemów F- separowalności dla VASów, gdzie F to różne naturalne podklasy języków regularnych. Inny kierunek to lepsze zrozumienie natury separowalności dla skończonych automatów i postęp w problemie separowalności słów.
 Jednoznaczność. Ten kierunek skupia się na zrozumieniu natury jed

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 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

że kandydat będzie miał doskonałe przygotowanie w obu dyscyplinach (matematyka i informatyka), 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

wynagrodzenie zasadnicze na pełen etat ok. 6 825 zł brutto/m-c plus bonus projektowy, wysokość wynagrodzenia będzie zależna od możliwego procentowego zaangażowania kandydata w projekt, wynikającego z innych obowiązków, np. studiów doktoranckich
miejsce pracy: Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, ul. Banacha 2, 02-097 Warszawa
stanowisko nie jest obciążone obowiązkami dydaktycznymi

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
Prosimy o zwrócenie uwagi na kompletność aplikacji i złożenie jej we wskazanym terminie! Konkurs jest pierwszym etapem procesu rekrutacji, prosimy

Załączniki

SOBD1102025160-0196287.pdf

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
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,
 Etap IV – ostateczna ocena kompetencji, doświadczenia i dorobku naukowego,
 Etap V – rozstrzygnięcie konkursu i ogłoszenie wyników.