Rozstrzygnięcie konkursu na stanowisko adiunkta w projekcie badawczym Opus " Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki", finansowanym ze środków Narodowego Centrum Nauki (UMO-2023/49/B/ST1/02627). Kierownik projektu: dr hab. Leszek Kołodziejczyk.

Konkurs wygrywa dr Mengzhou Sun.

Rozstrzygnięcie konkursu na stypendium naukowe w projekcie badawczym Sonata Bis "Nieskończoność we wnioskowaniu o danych i wiedzy", finansowanym ze środków Narodowego Centrum Nauki (UMO-2018/30/E/ST6/00042). Kierownik projektu: dr hab. Filip Murlak.

Stypendium otrzymuje Jakub Kłos. Gratulujemy!

Publiczna obrona rozprawy doktorskiej odbędzie się 21 października 2025 o godzinie 14:00 w Warszawie, w gmachu Wydziału MIMUW przy ulicy Banacha 2, w sali 2180 (sala RW).

Tytuł rozprawy: Computational Methods for Leading-Edge Mass Spectrometry Techniques
Promotorzy: prof. Anna Gambin (Uniwersytet Warszawski), dr hab. Jakub Karasiński (Uniwersytet Warszawski)

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

Tytuł rozprawy: The Logical Strength of Ramsey-Theoretic Principles over a Weak Base Theory
Promotor: dr hab. Leszek Kołodziejczyk, prof. ucz. (Uniwersytet Warszawski)

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 1800 zł miesięcznie. Dwa stypendia będą wypłacane przez okres 12 miesięcy, jedno przez okres 9 miesięcy.

Do konkursu mogą przystąpić osoby, które są studentami etapu magisterskiego lub inżynierskiego na kierunku matematyka lub na kierunku pokrewnym.

CV, wykaz ocen ze studiów i zgodę na przetwarzanie danych osobowych należy przesłać na adres na adres aswiercz@mimuw.edu.pl do 9 października 2025 r.

Ogłaszamy konkurs na dwa stypendia naukowe w projekcie badawczym Sonata ,,Równoległe i dokładne algorytmy dla problemów ścieżkowych w grafach skierowanych’’, finansowanym ze środków Narodowego Centrum Nauki (UMO-2022/47/D/ST6/02184). Kierownik projektu: dr Adam Karczmarz.
Kandydat musi być studentem studiów magisterskich z informatyki lub matematyki w roku akademickim 2025/26.

Zgłoszenia należy przesyłać na adres: a.karczmarz@mimuw.edu.pl
w terminie: 16 października 2025 r., godz. 23.59

Rozstrzygnięcie konkursu na stypendium naukowe w projekcie badawczym OPUS Badanie wpływu cech genomowych na sygnatury mutacyjne w nowotworach", finansowanym ze środków Narodowego Centrum Nauki (UMO-2023/51/B/NZ2/02643). Kierownik projektu: dr Damian Wójtowicz.

Stypendium otrzymują Cezary Botta i Zuzanna Milczarska. Gratulujemy!

Rozstrzygnięcie konkursu na stypendium naukowe w projekcie badawczym Sonata "Efektywne algorytmy dla NP-trudnych problemów w grafach planarnych", finansowanym ze środków Narodowego Centrum Nauki (UMO-2023/51/D/ST6/00155). Kierownik projektu: dr Michał Włodarczyk.

Stypendium otrzymuje Jakub Piotrowicz. Gratulujemy!

Rozstrzygnięcie konkursu na stypendium naukowe w projekcie badawczym Sonata Bis "Łączenie kropek: analiza centralności z perspektywy teorii gier i teorii wyboru społecznego", finansowanym ze środków Narodowego Centrum Nauki (UMO-2023/50/E/ST6/00665). Kierownik projektu: dr hab. Oskar Skibski.

Stypendium otrzymuje Mikołaj Czarnecki. Gratulujemy!

Ogłaszamy konkurs na stypendium naukowe dla doktoranta/tki w projekcie badawczym „Randomizowane algorytmy online” finansowanym ze środków Narodowego Centrum Nauki (UMO-2023/51/B/ST6/02833). Kierownik projektu: dr hab. Anny Zych-Pawlewicz.

Zgłoszenia należy przesyłać na adres: anka@mimuw.edu.pl.

Termin zgłoszeń: 29.09.2025.

Rozstrzygnięcie konkursu na stypendium naukowe w projekcie badawczym Sonata Bis "Struktury geometryczne tensorów", finansowanym ze środków Narodowego Centrum Nauki (UMO-2023/50/E/ST1/00336). Kierownik projektu: dr hab. Joachim Jelisiejew.

Stypendium otrzymuje Jakub Jagiełła.

Ogłaszamy konkurs na 3 stypendia naukowe dla doktorantów w projekcie „Skończenie stanowe obliczenia wielomianowe” finansowanym przez Narodowe Centrum Nauki (nr projektu: 2022/46/A/ST6/00072, kierownik: prof. dr hab. Mikołaj Bojańczyk).

Wybrani  kandydaci  będą prowadzić badania naukowe związane z tematyką projektu, wliczając:
1. regularne spotkania z kierownikiem projektu oraz jego zespołem;
2. spisywanie wyników oraz ich prezentację.

Wymagania:

Kandydaci przystępujący do konkursu powinni posiadać:

• status doktoranta w momencie rozpoczęcia stypendium (tj. od 01.10.2025);
• znajomość informatyki teoretycznej, ze szczególnym uwzględnieniem teorii automatów;
• zainteresowanie badaniami naukowymi w temacie projektu.

Warunki: Stypendium w wysokości 5 000 zł miesięcznie na okres 12 miesięcy (01.10.2025 – 30.09.2026) z możliwością przedłużenia

Forma składania ofert: życiorys przesłany mailowo na adres bojan@mimuw.edu.pl

Termin składania ofert: 23 września 2025, 23:59

Oferujemy jedno stypendium naukowe w projekcie "Łączenie kropek: analiza centralności z perspektywy teorii gier i teorii wyboru społecznego" (NCN SONATA BIS 2023/50/E/ST6/00665).

Wymagania:

1. Kandydat musi być doktorantem lub studentem studiów magisterskich z informatyki lub matematyki dnia 01.10.2025.
2. Bardzo dobra znajomość matematyki dyskretnej.
3. Biegła znajomość języka angielskiego.
4. Udokumentowane doświadczenie w analizie sieci, teorii gier koalicyjnych lub wyboru społecznego będzie dodatkowym atutem.

Opis zadań:

Projekt "Łączenie kropek: analiza centralności z perspektywy teorii gier i teorii wyboru społecznego" leży na styku sztucznej inteligencji, informatyki i ekonomii. Miary centralności to metody, które służą ocenie istotności wierzchołków w sieciach (m.in., społecznościowych, terrorystycznych czy biologicznych). Celem naszego projektu jest badanie miar centralności z perspektywy teorii wyboru społecznego i teorii gier kooperacyjnych. Odkryjemy nowe, niezbadane połączenia między analizą sieci, teorią wyboru społecznego i teorią gier koalicyjnych, które będą korzystne dla wszystkich tych dyscyplin. Naszym ostatecznym celem jest stworzenie zunifikowanej teorii oceny elementów, która rozszerzyłaby ramy teorii wyboru społecznego, teorii gier i analizy sieci.

Opis projektu: https://www.ncn.gov.pl/sites/default/files/listy-rankingowe/2023-06-15-lut7739ikitila/streszczenia/598405-pl.pdf

Projekt realizowany jest na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego. Kierownikiem projektu jest Oskar Skibski.

Warunki:

Stypendium wysokości 3000 zł/miesiąc na okres 9 miesięcy (z opcją przedłużenia). Rozpoczęcie pracy: październik 2025.

Osoby zainteresowane ofertą proszone są o przesłanie zgłoszenia na adres oskar.skibski@mimuw.edu.pl. Zgłoszenie powinno zawierać CV, kartę przebiegu studiów oraz jednostronicowy opis dotychczasowych osiągnięć naukowych (jeżeli istnieją).

Termin: 21 września 2025, 23:59

Ogłaszamy konkurs na stypendium naukowe dla magistranta/tki w projekcie badawczym Sonata pt. "Integracyjna analiza danych genomicznych z pojedynczych komórek", finansowanym ze środków Narodowego Centrum Nauki (2020/39/D/NZ2/03461). Kierownik projektu: dr Aleksander Jankowski.

Zgłoszenia należy przesyłać na adres: aleksander.jankowski@uw.edu.pl
w terminie do 23 września 2025 r.

Ogłaszamy konkurs na stypendium naukowe dla magistranta/tki w ramach projektu badawczego "Nieskończoność we wnioskowaniu o danych i wiedzy" finansowanego ze środków Narodowego Centrum Nauki (Sonata Bis nr 2018/30/E/ST6/00042).

Projekt ma na celu zbliżenie do siebie paradygmatów baz danych oraz reprezentacji wiedzy i wnioskowania, głównie w zakresie przetwarzania pytań i wnioskowania. Fundamentalna różnica między tymi dwoma paradygmatami dotyczy założenia o skończoności reprezentowanych modeli, obecnego w bazach danych a nieobecnego w bazach wiedzy. Podobną niezgodność dostrzec można między przetwarzaniem opartym na obwodach a przetwarzaniem strumienia danych, choć tym razem dotyczy ona nie tyle skończoności co istnienia ograniczenia na rozmiar. Badania w projekcie koncentrują się na następujących kierunkach: 

• przetwarzanie danych w modelach obliczeń o ograniczonej przepustowości
• problemy walidacji, ewaluacji, analizy statycznej i optymalizacji, szczególnie w kontekście projektowania formalizmów dla grafowych baz danych
• wnioskowanie w bazach wiedzy w reżimie modeli skończonych, nieskończonych i mieszanych.

Stypendium wynosi 2650 zł miesięcznie i obejmuje okres 6 miesięcy (październik 2025 - marzec 2026). Stypendysta będzie miał za zadanie napisanie pracy magisterskiej związanej z tematyką projektu.

Wymagania:

• ukończony etap licencjacki studiów na kierunku informatyka
• realizowane studia drugiego stopnia na kierunku informatyka
• doskonałe umiejętności programistyczne
• dobra znajomość języka angielskiego
• dodatkowym atutem będzie znajomość logiki, teorii automatów, algorytmiki i kombinatoryki.

Zgłoszenia zawierające:

• CV z informacją o zainteresowaniach kandydata i dotychczasowych osiągnięciach (np. konkust, nagrody)
• wykaz ocen uzyskanych dotąd na studiach
• zgodę na przetwarzanie danych osobowych, zgodnie z rozporządzeniem Parlamentu Europejskiego i Rady (UE) 2016/679 z dnia 27 kwietnia 2016 r.

należy przesyłać mailem na adres fmurlak@mimuw.edu.pl
w terminie do 25 września 2025.

Kandydaci będą oceniani zgodnie z reulaminem przyznawania stypendiów w projektach NCN przez komisję konkursową powołaną przez Dziekana Wydziału MIM UW. Wyniki konkursu ogłoszone zostaną nie później niż 29 września 2025.