Opis stanowiska
Projekt dotyczy rygorystycznej analizy algebraicznej modeli obliczeń wzbogaconych o dane. Koncentrujemy się na rozszerzeniu klasycznych modeli obliczeń takich jak automaty licznikowe lub automaty skończone, które umożliwiają manipulowanie danymi. W zależności od wyboru dziedziny danych, rozszerzenie zwiększa siłę ekspresji, umożliwiając modelowanie identyfikatorów procesów, znaczników czasu, nazw, itp. W przypadku systemów skończenie-stanowych rozszerzenie implikuje podniesienie do przestrzeni stanów, które są nieskończone, ale skończone aż do permutacji danych (orbit-skończony). W przypadku systemów nieskończenie-stanowych rozszerzenie dodaje dodatkowe źródło nieskończoności. Elegancką matematyczną formalizację zapewniają zbiory z atomami, znane również jako zbiory nominalne. Ważną podklasą systemów wzbogaconych o dane są systemy czasowe, których zachowanie zależy od czasu upływającego między kolejnymi zdarzeniami.
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 w dziedzinie 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ń
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 doktorskiego;
- ż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 dwóch doświadczonych naukowców, którzy mogą przedstawić referencje dla kandydata.
Załączniki
Dodatkowe informacje dla kandydata
https://rekrutacja-i-rozwoj.bsp.uw.edu.pl/dla-kandydatow-na-stanowiska-akademickie/