Poszukuję osoby zainteresowanej pracą naukową w grupie badawczej w Instytucie Informatyki Wydziału Matematyki, Informatyki i Mechaniki, w projecie „Metody obliczeniowe do opisywania i analizowania procesów mutacyjnych w raku” finansowanego przez Narodową Agencję Wymiany Akademickiej (NAWA), umowa PPN/PPO/2020/1/00028. Wybrany kandydat będzie pracował nad zagadnieniami z zakresu modelowania i analizy danych mutacyjnych w nowotworach'.

Zainteresowanych prosimy o zgłoszenia mailowe zawierające CV i list motywacyjny opisujący m.in. zainteresowania naukowe kandydata na adres mailto:d.wojtowicz@uw.edu.pl z tytułem “Konkurs NAWA”.

Dnia 19 grudnia 2024 r. o godz. 11:00 odbędzie się kolokwium habilitacyjne w trybie zdalnym dr. Piotra Hofmana

Określenie osiągnięcia będącego podstawą ubiegania się o nadanie stopnia doktora habilitowanego: „Systemy nieskończone stanowe z danymi” - cykl publikacji naukowych

Recenzenci:

1. dr hab. Lidia Tendera, prof. ucz. (Uniwersytet Opolski)
2. prof. dr hab. Marcin Jurdziński (University of Warwick)
3. dr hab. Emanuel Kieroński, prof. ucz. (Uniwersytet Wrocławski)
4. prof. dr Antonín Kučera (Masaryk University, Brno)

Link do uczestnictwa w kolokwium habilitacyjnym zostanie udostępniony po wcześniejszej rejestracji. Zgłoszenie należy przesłać na adres: rnd.matinf@uw.edu.pl.
Rejestracja uczestników będzie otwarta od godz. 8:00 w dniu 10 grudnia 2024 r. do godz. 11:00 w dniu 18 grudnia 2024 r.

Stypendium studenckie w projekcie badawczym Maestro „Skończenie stanowe obliczenia wielomianowe”, finansowanym ze środków Narodowego Centrum Nauki (projekt nr 2022/46/A/ST6/00072) otrzymał Kacper Lewandowski.
Gratulujemy!

Dwa stypendia magisterskie w projekcie badawczym Opus "Algorytmy oparte na optymalnym transporcie dla spektrometrii mas i magnetycznego rezonansu jądrowego", finansowanym ze środków Narodowego Centrum Nauki (projekt nr 2021/41/B/ST6/03526) otrzymali Zofia Kozaryna i Ignacy Makowski.
Gratulujemy!

Stypendium magisterskie w projekcie badawczym Sonata Bis "Eliptyczne geometryczne zagadnienia wariacyjne" finansowanym ze środków Narodowego Centrum Nauki (projekt nr 2022/46/E/ST1/00328) otrzymał Michał Sajkowski.
Gratulujemy!

Stypendium doktoranckie w projekcie badawczym Weave-Unisono "Jednorodność i generyczność struktur metrycznych: grup, układów dynamicznych, przestrzeni Banacha i algebr C* finansowanym ze środków Narodowego Centrum Nauki (projekt nr 2021/03/Y/ST1/00072) otrzymała Julia Ścisłowska.
Gratulujemy!

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.