Opis stanowiska
Tytuł projektu: „Miary złożoności strukturalnej dla teorii podstaw matematyki”
Głównym celem projektu, realizowanego wspólnie z Uniwersytetem Technicznym w Wiedniu, jest analiza rang Scotta przeliczalnych modeli dla teorii podstaw matematyki, takich jak
Arytmetyka Peana (PA) i jej podsystemy oparte o częściowe schematy kolekcji i indukcji.
Arytmetyka Drugiego Rzędu (Z2) i jej podsystemy oparte o częściowe schematy wyróżniania.
Teoria Mnogości Zermelo-Fraenkla (ZF) i jej podsystemy.
Nasze wymagania
- spełnienie wymagań określonych w art. 113 ustawy z dnia 20 lipca 2018 r. Prawo o szkolnictwie wyższym i nauce (Dz. U. z 2024 r. poz. 1571 z późn. zm.) i Statucie UW (Monitor UW z 2019 r. poz. 190 z późn. zm.) oraz Regulaminie przyznawania środków na realizację zadań finansowanych przez Narodowe Centrum Nauki w zakresie projektów badawczych
- stopień naukowy doktora lub równorzędny w dyscyplinie filozofia, logika, matematyka lub informatyka teoretyczna uzyskany nie wcześniej niż 12 lat przed rokiem zatrudnienia w projekcie
- posiadanie, potwierdzoną publikacjami i/lub załączoną próbką tekstu umiejętności prowadzenia zaawansowanych badań w przynajmniej jednym z następujących obszarów logiki matematycznej: modele niestandardowe arytmetyki lub teorii mnogości, teoria mnogości, matematyka odwrotna, teoria obliczeń, deskryptywna teoria mnogości, teoria modeli obliczalnych
- znajomość języka angielskiego w mowie i piśmie na poziomie zaawansowanym, tj. na poziomie odpowiadającym poziomowi C1 (Advanced) lub C2 (Proficiency) według Europejskiego Systemu Opisu Kształcenia Językowego
Mile widziane
- Doświadczenie naukowe zdobyte w kraju lub za granicą, w tym udział w projektach badawczych, konferencjach, seminariach i warsztatach (szkoleniach) naukowych, staże i inne wizyty naukowe
- Stypendia, wyróżnienia i nagrody za pracę naukową
- Doświadczenie w pracy organizacyjnej i popularyzatorskiej w obszarze nauki
Zakres obowiązków
- Osoba zatrudniona na stanowisku typu post-doc będzie zaangażowana w realizację zadań badawczych grantu, w szczególności badań formalno-logicznych dotyczących analizy rang Scotta teorii podstaw matematyki podanych w opisie projektu.
- Rzetelna i terminowa realizacji zadań badawczych, o których mowa powyżej, zgodnie z planem pracy ustalonym wspólnie z kierownikiem projektu
- Regularny i aktywny udział w spotkaniach zespołu badawczego. Współpraca z kierownikiem projektu i pozostałymi członkami zespołu mająca na celu wymianę i rozwój wiedzy z zakresu tematyki projektu oraz wspólną pracę nad zadaniami badawczymi oraz publikacjami
- Publikowanie uzyskanych wyników badań w uznanych czasopismach i wydawnictwach naukowych o zasięgu międzynarodowym
- Prezentowanie wyników badań na ważnych konferencjach i seminariach naukowych o zasięgu międzynarodowym i krajowym
- Współpraca przy organizacji działań promujących i upowszechniających wyniki badań uzyskanych w ramach projektu, w tym konferencji i seminariów
Oferujemy
- Środki finansowe na uczestnictwo w konferencjach i seminariach naukowych oraz zakup specjalistycznej literatury naukowej
- Środki na zakup komputera do pracy (laptop)
- Profesjonalne wsparcie administracyjne w prowadzeniu badań i upowszechnianiu ich wyników
- Praca w aktywnym i interdyscyplinarnym zespole badawczym w bliskiej współpracy z grupą Dino Rosseggera z Uniwersytetu Technicznego w Wiedniu (TUV)
- Możliwości rozwoju zawodowego. Więcej informacji: link
Dokumenty wymagane do rekrutacji
- Kwestionariusz osobowy kandydata/ki - załącznik nr 1 do ogłoszenia: https://cbb.uw.edu.pl/wp-content/uploads/2025/10/1.-Zalacznik-nr-1-do-ogloszeniaWFZ-1210-4-2025.docx
- Informacja o przetwarzaniu danych osobowych - załącznik nr 2 do ogłoszenia: https://cbb.uw.edu.pl/wp-content/uploads/2025/10/2.-Zalacznik-nr-2-Informacja-oprzetwarzaniu-danych-osobowych.docx
- Skan dokumentu poświadczającego posiadanie stopnia naukowego doktora lub równorzędnego albo dokumentu poświadczającego, że kandydat/ka uzyska stopień doktora do dnia zatrudnienia
- Skan dokumentu(ów) potwierdzających znajomość języka angielskiego na poziomie zaawansowanym (certyfikaty), jeśli takie są
- List motywacyjny skierowany do Przewodniczącego komisji konkursowej i jednocześnie kierownika projektu dr Mateusza Łełyka
- Próbka tekstu naukowego własnego autorstwa (np. artykułu), najlepiej w języku angielskim, o objętości nie większej niż 20 tys. znaków
- 1-2 opinie samodzielnych pracowników naukowych lub, w przypadku naukowców zagranicznych, opinie osób legitymujących się znaczącym dorobkiem naukowym i pozycją w międzynarodowym środowisku naukowym (przesłane przez autorów bezpośrednio na adres: pracowniczy.filozofia@uw.edu.pl)
Załączniki
Dodatkowe informacje dla kandydata
Wszystkie dokumenty aplikacyjne powinny zostać dostarczone w wersji elektronicznej w formie plików pdf na adres: pracowniczy.filozofia@uw.edu.pl
Rozstrzygnięcie konkursu nastąpi do dnia 27 stycznia 2026 r.
Informacja o wynikach konkursu zostanie przekazana kandydatom/kom drogą mailową.
Dodatkowe informacje związane z konkursem można uzyskać u Przewodniczącego Komisji konkursowej i jednocześnie kierownika projektu dr. Mateusza Łełyka (mlelyk@uw.edu.pl). W tytule maila prosimy podać nr referencyjny ogłoszenia.
Opis przebiegu rekrutacji znajduje się w załączonym ogłoszeniu konkursowym.