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!

Czasopismo "Delta" zostało finalistą XX edycji konkursu "Popularyzator Nauki" w kategorii media. Konkurs organizowany jest przez portal "Nauka w Polsce".
Serdeczne gratulacje dla całej redakcji!

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)

Serdecznie zapraszamy na pierwsze specjalne spotkanie w ramach Kolokwium MIM, podczas którego nowi pracownicy wydziału wygłoszą krótkie, popularne odczyty przedstawiając swoje obszary badawcze.

Kolokwium odbędzie się 14 listopada 2024 o godzinie 14:30 w sali 2180

Informujemy, że komisja konkursowa w projekcie badawczym "Integracyjna analiza danych genomicznych z pojedynczych komórek" finansowanym przez Narodowe Centrum Nauki (SONATA, 2020/39/D/NZ2/03461) przyznała stypendia następującym kandydatom:

1. pani Magdalena Czapiewska,
2. pan Krzysztof Łukasz.

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.

Stypendium w projekcie NCN OPUS p.t.: "Topologiczne, geometryczne i ergodyczne problemy dynamiki zespolonej” Nr.: 2023/51/B/ST1/00946 otrzymała p.Joanna Horbaczewska i p.Radosłąw Opoka. Gratulujemy!

Oferuję stypendium dla magistranta w ramach grantu NCN OPUS: Algorytmy oparte na optymalnym transporcie dla spektrometrii mas i magnetycznego rezonansu jądrowego. Tematyka projektu leży na pograniczu informatyki, chemii i biologii obliczeniowej.

Od kandydata oczekiwane jest znakomite przygotowanie z algorytmiki, statystyki i zainteresowanie badaniami interdyscyplinarnymi.

Termin nadsyłania zgłoszeń: 3 listopada 2024.

Kontakt: Anna Gambin, e-mail: a.gambin@uw.edu.pl.

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.

Stypendium studenckie w ramach projektu "Granice automatycznej analizy systemów współbieżnych" (grant Opus, Narodowe Centrum Nauki) otrzymała pani Krystyna Gasińska. Gratulujemy!

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.

Projekt dotyczy badań nad dobrym postawieniem problemów dla układów otwartych, czyli takich układów równań różniczkowych cząstkowych, które potrafią wymieniać energię i materię z otoczeniem. Stypendium wynosi 1300 zł miesięcznie (możliwość podwyższenia stypendium dla kandydatów bardzo wysoko ocenionych w konkursie).