Opis stanowiska
Opis programu/
projektu/ przedsięwzięcia
Połączenie metod pochodzących z logiki oraz z teorii grafów daje potężne narzędzia w projektowaniu algorytmów, teorii złożoności oraz w innych dziedzinach informatyki teoretycznej. Ilustracją potęgi tego podejścia jest niedawny rozwój w algorytmicznej teorii grafów rzadkich. Przykładowy wynik w tej dziedzinie mówi, że każdą własność grafów wyrażalną w logice pierwszego rzędu można rozstrzygnąć w czasie liniowym (a więc bardzo szybko), na danym grafie planarnym. Celem projektu jest gruntowne rozwinięcie strukturalnej teorii (klas) grafów, które posiadają podobne, dobre własności algorytmiczne, kombinatoryczne i logiczne. Więcej szczegółów: https://sites.google.com/view/buka-project/.
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ń
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 trzech doświadczonych naukowców, którzy mogą przedstawić referencje dla kandydata.
- Prosimy o zwrócenie uwagi na kompletność aplikacji i złożenie jej we wskazanym terminie!
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ęć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
15 kwietnia 2026;
wyniki zostaną kandydatom przekazane drogą elektroniczną przez kierownika projektu