Oferty pracy w projektach finansowanych przez NCN

Nazwa jednostki: Uniersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki – Warszawa , Inne oferty z tego miasta »
Nazwa stanowiska: Post-doc
Wymagania:

Oczekujemy, że kandydat w momencie zatrudnienia będzie posiadał stopień doktora nauk matematycznych w dziedzinie matematyki lub informatyki, przy czym stopień doktora został uzyskany nie wcześniej niż 7 lat przed rokiem zatrudnienia w projekcie, oraz będzie miał doskonałe przygotowanie w obu tych dyscyplinach, w szczególności w jednej lub kilku z następujących dziedzin: formalna weryfikacja, teoria automatów, półgrupy macierzy.

Opis zadań:

Wybrany kandydat pracować będzie nad
problemami decyzyjnymi i wyrażalności dla automatów ważonych, skupiając się na półpierścieniu (min,+).

Typ konkursu NCN: SONATA BIS – ST
Termin składania ofert: 31 października 2024, 23:59
Forma składania ofert: email
Warunki zatrudnienia:

Wybrany kandydat zostanie zatrudniony na pełen etat na czas określony na okres 12 miesięcy (z możliwością przedłużenia zatrudnienia o 12 miesięcy), rozpoczynający się 1 stycznia 2025 r. – do ustalenia z wybranym kandydatem. Wynagrodzenie na stanowisku wynosi ok. 8 850 zł brutto/m-c. Stanowisko nie jest obciążone obowiązkami dydaktycznymi i zawiera budżet na podróże służbowe.

Dodatkowe informacje:

W tym projekcie analizujemy fundamentalne własności różnych modeli używanych w formalnej weryfikacji które mogą liczyć, na przykład automaty ważone. Takie modele są istotnie bardziej złożone od standardowych modeli i problemy decyzyjne stają się trudne lub nawet nierozstrzygalne. Celem projektu jest studiowanie wyrażalności i złożoności ograniczonych modeli żeby zrozumieć własności które mogą wyrazić, tak żeby
ciekawe problemy były obliczalne w dobrym czasie. Przykładami problemów są ograniczoność i determinizacja dla automatów ważonych nad różnymi półpierścieniami.

Zgłoszenie do konkursu powinno zawierać życiorys, który:
- opisuje przygotowanie merytoryczne oraz osiągnięcia naukowe kandydata;
- zawiera opis planów badawczych kandydata (co najwyżej 1 strona);
- 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). Listy motywacyjne nie są wymagane.
Zgłoszenia do konkursu, a także wszelkie pytania dotyczące merytorycznych aspektów projektu należy przesyłać do dr. Filipa Mazowieckiego: f.mazowiecki@uw.edu.pl
By wziąć udział w konkursie należy przesłać drogą elektroniczną zgłoszenie, z załączonymi dokumentami,
wymaganymi w procesie rekrutacji, zapisanymi w formacie .pdf.
Termin zgłoszeń upływa dnia 31 października 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 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

Data dodania ogłoszenia: 2024-09-30 15:02:12