Opis stanowiska
Opis projektu
Projekt PROCONTRA koncentruje się na badaniu trudnych problemów w obszarze inteligentnych
kontraktów i technologii blockchain. Główny nacisk kładziony jest na podstawowe techniki
kryptograficzne. Prace w ramach projektu będą koncentrować się na następujących trzech kierunkach:
• Modelowanie własności bezpieczeństwa protokołów inteligentnych kontraktów z wykorzystaniem
formalizmu kryptograficznego.
• Proponowanie nowych pomysłów na protokoły inteligentnych kontraktów, szczególnie tych
opartych na zaawansowanych technikach kryptograficznych.
• Dowody bezpieczeństwa proponowanych konstrukcji.
• Zautomatyzowana weryfikacja tych dowodów bezpieczeństwa
• Zrozumienie ograniczeń technik kryptograficznych w tym obszarze.
Nasze wymagania
- Oczekujemy, że kandydaci będą posiadali stopień doktora informatyki (lub dziedziny pokrewnej) oraz doskonałe przygotowanie w tej dziedzinie oraz dorobek naukowy w tematyce projektu udokumentowany publikcjami.
- Wymagana jest dobra znajomość języka angielskiego.
- Do konkursu mogą przystąpić osoby, które spełniają warunki określone w Ustawie Prawo o szkolnictwie wyższym i nauce z dnia 20 lipca 2018 roku (Dz. U. z 2021 r., poz. 478 ze zmianami) i Statutem UW.
Zakres obowiązków
- Prace w ramach projektu będą koncentrować się na następujących trzech kierunkach:
- Modelowanie własności bezpieczeństwa protokołów inteligentnych kontraktów z wykorzystaniem formalizmu kryptograficznego.
- Proponowanie nowych pomysłów na protokoły inteligentnych kontraktów, szczególnie tych opartych na zaawansowanych technikach kryptograficznych
- Dowody bezpieczeństwa proponowanych konstrukcji.
- Zautomatyzowana weryfikacja tych dowodów bezpieczeństwa
- Zrozumienie ograniczeń technik kryptograficznych w tym obszarze.
Oferujemy
- Warunki zatrudnienia Wybrany kandydat zostanie zatrudniony w wymierze 100% etatu na umowę na czas określony na okres 1 roku (z możliwością przedłużenia zatrudnienia o następne 2 lata).
- Przewidywany oczekiwany termin zatrudnienia to 1 stycznia 2024 r. (możliwość ustalenia daty rozpoczęcia zatrudnienia z kierownikiem projektu).
- Wynagrodzenie zasadnicze na stanowisku wyniesie ok. 7 200 zł brutto/m-c, plus wynagrodzenie dodatkowe zależne od doświadczenia.
- Stanowisko nie jest obciążone obowiązkami dydaktycznymi i zawiera budżet na podróże służbowe.
- Wybrani kandydaci będą pracować nad problemami w obszarze kryptografii z zastosowaniami do technologii blockchain i inteligentnych kontraktów.
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 dwóch 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.
Załączniki
Dodatkowe informacje dla kandydata
Termin zgłoszeń upływa dnia 30 listopada 2023
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 15 stycznia 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