Opis stanowiska
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ń
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,
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
15 września 2025 r.;
wyniki zostaną kandydatom przekazane drogą elektroniczną przez
o rozstrzygnięciu konkursu
kierownika projektu
Kontakt w razie pytań związanych z konkursem
w zakresie aspektów merytorycznych: szymtor@mimuw.edu.pl
zawsze z podaniem numeru referencyjnego ogłoszenia
zgłoszenia potrzeb związanych z zapewnieniem dostępności należy wpisać w wiadomości e-mail, przesłanej wraz z aplikacją