WMIM ogłasza konkurs na 2 stanowiska informatyka w projekcie "Smart-Contract Protocols: Theory for Applications" (PROCONTRA) finansowanym przez Komisję Europejską, kontrakt numer 885666.
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.

W momencie zatrudnienia kandydaci mają posiadać tytuł mgr matematyki lub informatyki i doskonałe przygotowanie w obu tych dziedzinach. Wymagana jest dobra znajomość języka angielskiego, dobre zrozumienie podstawowych pojęć teoretycznych oraz umiejętność programowania.

Kierownik projektu: prof. dr hab. Stefan Dziembowski

Termin zgłoszeń upływa dnia 15 grudnia 2024

Stypendia magisterskie w ramach projektu badawczego Układy otwarte, finansowanego przez Narodowe Centrum Nauki (projekt nr 2021/43/B/ST1/02851) otrzymali Vazgen Bagdasaryan i Jakub Sęk.
Gratulacje!

Publiczna obrona rozprawy doktorskiej odbędzie się 26 listopada 2024 o godzinie 14:00 w Warszawie, w gmachu Wydziału MIMUW przy ulicy Banacha 2, w sali 2180.

Tytuł rozprawy: Analysis of the Simple Refreshing in the Noisy Leakage Model
Promotor: prof. dr hab. Stefan Dziembowski (Uniwersytet Warszawski)

Badania w projekcie dotyczą:

• Problemu osiągalności w sieciach Petriego;
• Analizy podklas sieci Petriego;
• Granic rozstrzygalności;
• Separowalności.

Kandydat w momencie zatrudnienia ma posiadać stopień doktora w dyscyplinie informatyka, (uzyskany nie wcześniej niż 7 lat przed rokiem zatrudnienia w projekcie), 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 współbieżności; matematyczne modele systemów współbieżnych; teoria automatów.

Kierownikiem projektu jest prof. Sławomir Lasota.

Termin zgłoszeń upływa 13 grudnia 2024 r.

Stypendium naukowe w ramach projektu projektu NCN (UMO-2021/03/Y/ST1/00072) może być przyznane doktorantowi szkoły doktorskiej kształcącej w dyscyplinie matematyka. Kierownikiem jest dr hab. Maciej Malicki.

Wymagania: tytuł magistra matematyki, znajomość topologii kontinuów, teorii polskich grup topologicznych oraz teorii kategorii; znajomość języka angielskiego na poziomie umożliwiającym ustną i pisemną komunikację oraz czytanie fachowej literatury; motywacja do dalszego uczenia się i poszerzania kompetencji.

Stypendium w wys. 2000 zł miesięcznie będzie wypłacane przez 14 miesięcy (1 grudnia 2024 r. – 31 stycznia 2026 r.).

Termin przesyłania zgłoszeń: 19 listopada.

Kandydaci przystępujący do konkursu powinni posiadać licencjat z matematyki, podstawową znajomość teorii miary i geometrii różniczkowej i wykazywać zainteresowanie badaniami naukowymi w temacie projektu.

Wysokość stypendium wynosi 3000 zł miesięcznie na okres 10 miesięcy (grudzień 2024 – wrzesień 2025).

Kierownikiem projektu jest dr hab. Sławomir Kolasiński.

Stypendium w projekcie NCN SONATA pt.: ”Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje”, nr.: 2022/47/D/ST6/03421 otrzymał p.Jeremi Gładkowski.

Gratulacje!

Stypendia w projekcie NCN SONATA BIS pt.: ”Struktury geometryczne tensorów” Nr.: 2023/50/E/ST1/00336 zostały przyznne p. Weronice Obcowskiej i p Jakubowi Jagielle.
Gratulujemy!

Publiczna obrona rozprawy doktorskiej odbędzie się 20 listopada 2024 o godzinie 14:30 w Warszawie, w gmachu Wydziału MIMUW przy ulicy Banacha 2, w sali 2180 (sala RW).

Tytuł rozprawy: Heterogeniczna implementacja matching pursuit z symulacją ciągłej przestrzeni parametrów
Promotorzy: prof. dr hab. Krzysztof Stencel (Uniwersytet Warszawski), prof. dr hab. Piotr Durka (Uniwersytet Warszawski)

Publiczna obrona rozprawy doktorskiej odbędzie się 22 listopada 2024 o godzinie 12:00 w Warszawie, w gmachu Wydziału MIMUW przy ulicy Banacha 2, w sali 2180 (sala RW).

Tytuł rozprawy: On Security of Systems Built on Blockchains
Promotor: prof. dr hab. Stefan Dziembowski (Uniwersytet Warszawski)
Promotor pomocniczy: dr Tomasz Michalak (Uniwersytet Warszawski)

Oferujemy jedno stypendium magisterskie w ramach współpracy z grupą badawczą w Instytucie Informatyki Wydziału Matematyki, Informatyki i Mechaniki realizującą projekt „Metody obliczeniowe do opisywania i analizowania procesów mutacyjnych w raku” finansowany przez Narodową Agencję Wymiany Akademickiej (NAWA), umowa PPN/PPO/2020/1/00028. Wybrani kandydaci będą pracować nad zagadnieniami z zakresu modelowania i analizy danych mutacyjnych w nowotworach.

Kierownikiem projektu jest Damian Wójtowicz.

Projekt dotyczy różnych zagadnień związanych z teoriomodelowymi i teoriodowodowymi aspektami arytmetyki pierwszego i drugiego rzędu. Trzy główne tematy badawcze to:

• Modele zasad kolekcji, w szczególności wzbogacenia modeli spełniających zasadę kolekcji, ale nie indukcji, dla odpowiedniej klasy formuł.
• Konsekwencje pierwszego rzędu zasad drugiego rzędu (w szczególności zasad kombinatorycznych) nad różnymi teoriami bazowymi w arytmetyce drugiego rzędu.
• ​​​​​​​Rozwijanie teorii rozmiarów dowodów i skracania dowodów dla podteorii arytmetyki.

Kandydat powinien mieć doświadczenie badawcze (udokumentowane publikacjami lub preprintami) w co najmniej jednym z następujących obszarów logiki matematycznej: niestandardowe modele arytmetyki, teoria dowodu dla arytmetyki, matematyka odwrotna.

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. Kandydat w momencie zatrudnienie musi posiadać stopień doktora informatyki oraz doskonałe przygotowanie w jednym lub kilku z następujących obszarów:

• teoria baz danych
• reprezentacja wiedzy i wnioskowanie
• logika w informatyce.

Termin zgłoszeń upływa 16 listopada 2024 r.

Publiczna obrona rozprawy doktorskiej w trybie zdalnym odbędzie się 18 listopada 2024 o godzinie 16:00 .

Tytuł rozprawy: Equivariant Khovanov Homotopy Types (Ekwiwariantne typy homotopijne Khovanova)
Promotor: dr hab. Maciej Borodzik, prof. ucz. (Instytut Matematyczny PAN, Uniwersytet Warszawski)

Zainteresowani udziałem w publicznej dyskusji nad w/w rozprawą doktorską proszeni są o zgłoszenie tego faktu poprzez przesłanie maila na adres: rnd.matinf@uw.edu.pl najpóźniej do dn. 15 listopada 2024 roku.

Osoby te otrzymają zwrotny link do wirtualnego pokoju, gdzie odbędzie się publiczna obrona w/w rozprawy.