Opis stanowiska
Projekt ma na celu zbliżenie do siebie paradygmatów baz danych oraz reprezentacji wiedzy i wnioskowania, głównie w zakresie przetwarzania zapytań i wnioskowania. Fundamentalna różnica między tymi dwoma paradygmatami dotyczy założenia o skończoności reprezentowanych modeli, obecnego w bazach danych a nieobecnego w bazach wiedzy. Podobną opozycję dostrzec można między niskopoziomowym równoległym przetwarzaniem danych (obwody logiczne, FPGA, SIMD) a strumieniowym przetwarzaniem danych, choć tym razem dotyczy ona nie tyle skończoności co istnienia ograniczenia na rozmiar danych. Badania w projekcie koncentrują się na następujących kierunkach: ● przetwarzanie strumienia ustrukturyzowanych danych, szczególnie z wykorzystaniem niskopoziomowego zrównoleglania ● problemy ewaluacji, analizy statycznej i optymalizacji, szczególnie w kontekście projektowania nowych formalizmów dla grafowych baz danych ● wnioskowanie w bazach wiedzy w reżimie modeli skończonych, nieskończonych i mieszanych.
Nasze wymagania
- Oczekujemy, że kandydat w momencie zatrudnienie będzie posiadał stopień doktora w dyscyplinie informatyka oraz będzie miał doskonałe przygotowanie w tej dyscyplinie, w szczególności w jednym lub kilku z następujących obszarów: ● teoria baz danych ● reprezentacja wiedzy i wnioskowanie ● logika w informatyce.
- Doświadczenie badawcze w następujących tematach będzie dodatkowym atutem: ● logiki deskrypcyjne, logiki modalne ● ewaluacja zapytań z wykorzystaniem ontologii, wnioskowanie w bazach wiedzy ● przetwarzanie strumieni danych ● złożoność obliczeniowa ● teoria automatów, teoria modeli skończonych ● programowanie niskopoziomowe.
- Oczekujemy, że w momencie zatrudnienia kandydat będzie posiadał stopień doktora nauk informatycznych, uzyskany nie wcześniej niż 7 lat przed rokiem zatrudnienia w projekcie. W dniu zgłoszenia do konkursu kandydat nie musi posiadać stopnia doktora.
- Do konkursu mogą przystąpić osoby, które spełniają warunki określone w art. 113 ustawy Prawo o szkolnictwie wyższym i nauce z dnia 20 lipca 2018 r. (Dz.U. 2023 poz. 742 z późn. zm.).
Zakres obowiązków
- Wybrany kandydat pracować będzie nad zagadnieniami z zakresu teorii baz danych oraz reprezentacji wiedzy i wnioskowania.
Oferujemy
- Wybrany kandydat zostanie zatrudniony na pełen etat na czas określony, w wymiarze 14 miesięcy, rozpoczynający się pomiędzy 1 grudnia 2024 r. a 1 lutego 2025 r., do ustalenia przez kandydata z kierownikiem projektu
- Wynagrodzenie na stanowisku wynosi ok. 8200 zł brutto/m-c. Stanowisko nie jest obciążone obowiązkami dydaktycznymi i zawiera budżet na podróże służbowe.
- Wybrany kandydat pracować będzie nad zagadnieniami z zakresu teorii baz danych oraz reprezentacji wiedzy i wnioskowania.
Dokumenty wymagane do rekrutacji
- życiorys, który: ● opisuje przygotowanie merytoryczne oraz osiągnięcia naukowe kandydata ● przedstawia listę wszystkich publikacji naukowych kandydata (włącznie z jeszcze nieopublikowanymi manuskryptami) ● wskazuje trzech doświadczonych naukowców, którzy mogą posłużyć jako referencje dla kandydata.
- Ponadto, wymagamy załączenia podpisanego listu przewodniego adresowanego do Dziekana WMIM UW, zaopatrzonego w klauzulę o przetwarzaniu danych osobowych (w załączeniu).
Załączniki
Dodatkowe informacje dla kandydata
Wnioski niepełne lub złożone po tym terminie nie będą rozpatrywane.
Zgłoszenia będą rozpatrywane przez Komisję Konkursową powołaną przez Dziekana Wydziału Matematyki, Informatyki i Mechaniki UW. Komisja Konkursowa może zaprosić kandydata na spotkanie, które odbędzie się w sposób zdalny. Wyniki konkursu zostaną przesłane kandydatom elektronicznie najpóźniej w dniu 30 listopada 2024 r.
Konkurs jest pierwszym etapem określonej w Statucie UW procedury zatrudniania na stanowisku nauczyciela akademickiego, a jego pozytywne rozstrzygnięcie stanowi podstawę do dalszego postępowania. Kandydat przystępujący do konkursu powinien złożyć oświadczenie, że zapoznał się i akceptuje zasady przeprowadzania konkursu na stanowisko nauczyciela akademickiego na UW zgodnie z zarządzeniem nr 106 Rektora UW z dnia 27 września 2019 r., paragraf 1 ust. 4 pkt 12
https://monitor.uw.edu.pl/Lists/Uchway/Attachments/5034/M.2019.282.Zarz.106.pdf