Opis stanowiska
Głównym celem projektu jest poprawienie metod automatycznej analizy systemów współbieżnych oraz poszerzenie ich stosowalności. Koncentrujemy się na modelu sieci Petriego i rozważamy takie problemy jak osiągalność albo pokrywalność danej konfiguracji sieci. Badania w projekcie dotyczą: ● Problemu osiągalności w sieciach Petriego; ● Analizy podklas sieci Petriego; ● Granic rozstrzygalności; ● Separowalności.
Nasze wymagania
- Oczekujemy, że kandydat w momencie zatrudnienia będzie posiadał stopień doktora w dyscyplinie informatyka, przy czym stopień doktora został uzyskany nie wcześniej niż 7 lat przed rokiem zatrudnienia w projekcie.
- Będzie miał doskonałe przygotowanie w tej dyscyplinie, w szczególności w jednym lub kilku z następujących obszarów: • teoria współbieżności; • matematyczne modele systemów współbieżnych; • teoria automatów.
Mile widziane
- Doświadczenie badawcze w następujących tematach będzie dodatkowym atutem: ● logika; ● weryfikacja formalna.
Zakres obowiązków
- Wybrany kandydat pracować będzie nad zagadnieniami separowalności.
Oferujemy
- Wybrany kandydat zostanie zatrudniony na pełen etat na czas określony w wymiarze 12 miesięcy, rozpoczynający się w okresie od 1 stycznia do 1 lutego 2025 r. – do ustalenia z wybranym kandydatem.
- Wynagrodzenie na stanowisku wynosi ok. 7600 zł brutto/m-c.
- Stanowisko nie jest obciążone obowiązkami dydaktycznymi.
- Wybrany kandydat pracować będzie nad zagadnieniami separowalności.
Dokumenty wymagane do rekrutacji
- Zgłoszenie do konkursu powinno zawierać ż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 osobę rekomendującą 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
Termin zgłoszeń upływa 13 grudnia 2024 r.
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 27 grudnia 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