Oferujemy 4-letnie stypendium doktoranckie w projekcie badawczym NCN OPUS "Weryfikacja formalna w modelach obliczeń rozszerzonych o dane". Tematyka projektu leży na pograniczu teorii automatów, teorii współbieżności i weryfikacji formalnej.

Kierownik projektu: Sławomir Lasota (www.mimuw.edu.pl/~sl).

Termin składania zgłoszeń: 20.06.2025

Rozpoczęcie stypendium: 1.10.2025

Wymagania:

1. Stopień magistra informatyki albo matematyki (w momencie rozpoczęcia stypendium).
2. Dobre przygotowanie w zakresie logiki, teorii automatów, teorii złożoności, matematyki dyskretnej.
3. Motywacja do pracy naukowej.
4. Biegła znajomość języka angielskiego.

Zgłoszenia proszę składać na adres sl@mimuw.edu.pl

Wymagane dokumenty: CV, karta przebiegu studiów, opis zainteresowań i osiągnięć naukowych.

W momencie rozpoczęcia stypendium kandydat powinien być słuchaczem Szkoły Doktorskiej.

Oferujemy stypendium naukowe dla doktoranta w projekcie badawczym Opus Przetwarzanie danych wysokowamiarowych za pomocą kompresji próbek i redukcji wymiarowości, finansowanym ze środków Narodowego Centrum Nauki (2023/51/B/ST6/02989).

Stypendium w wysokości 5000 PLN/m-c na okres październik 2025 - czerwiec 2028.

Zgłoszenia przyjmowane są do 28 maja 2025 na adres: K.dutta@mimuw.edu.pl

Publiczna obrona rozprawy doktorskiej odbędzie się 29 maja 2025 o godzinie 10:00 w Warszawie, w gmachu Wydziału MIMUW przy ulicy Banacha 2, w sali 3240.

Tytuł rozprawy: Efficient Large Language Models with Conditional Computation
Promotor: dr hab. Marek Cygan, prof. ucz. (Uniwersytet Warszawski)

Projekt: „Poszukiwanie optymalności w wariantach problemu indeksowania tekstu i zagadnieniach pokrewnych”, kierownik projektu: Jakub Radoszewski

Opis popularny projektu

Stanowisko: stypendysta, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski

W projekcie są dostępne dwa stanowiska, dla doktoranta i dla magistranta, które oferują:

1. Miesięczne stypendium w wysokości 5000 zł przez okres do 48 miesięcy (doktorant) i do 24 miesięcy (magistrant)
2. Udział w badaniach nad najnowszymi tematami w informatyce teoretycznej, w dziedzinie algorytmów i struktur danych dotyczących tekstów. Stypendysta będzie mógł prezentować wyniki swoich badań na międzynarodowych konferencjach poświęconych informatyce teoretycznej i będzie brał udział w międzynarodowych warsztatach i spotkaniach badawczych poświęconych algorytmom dyskretnym, w szczególności algorytmom tekstowym.

Konkurs na stypendium dla studenta

Nazwa jednostki: Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Miejsce: Warszawa

Nazwa stanowiska: Stypendysta/student

Typ konkursu NCN: SONATA 19

Termin składania zgłoszeń: 23 maja 2025

Forma składania zgłoszeń: e-mail na adres k.mazowiecka@mimuw.edu.pl

Stypendium będzie finansowane przez Narodowe Centrum Nauki w ramach projektu pt. „Istnienie i regularność układów równań eliptycznych o pochodzeniu geometrycznym”, nr UMO-023/51/D/ST1/02907.

Opis zadań
- praca nad zagadnieniami z projektu
- regularne spotkania z kierownikiem projektu
- spisywanie wyników oraz ich prezentację.

Warunki zatrudnienia
Umowa stypendialna na 12 miesięcy, stypendium w wysokości 1000 zł miesięcznie.

Wymagania:
- Kandydaci przystępujący do konkursu powinni posiadać:
* licencjat z matematyki, informatyki lub fizyki
* znajomość równań różniczkowych
* zainteresowanie badaniami naukowymi w temacie projektu.

Dodatkowe informacje
Wnioski konkursowe zostaną ocenione przez trzyosobową komisję zgodnie z kryteriami NCN, a wyniki konkursu zostaną ogłoszone na stronie internetowej podmiotu, w którym realizowany jest projekt badawczy.

Dziekan Wydziału Matematyki, Informatyki i Mechaniki, za zgodą Rektora Uniwersytetu Warszawskiego, ogłasza konkurs na stanowisko adiunkta w projekcie badawczym „Jednorodność i generyczność struktur metrycznych: grup, układów dynamicznych, przestrzeni Banacha i algebr C*”, finansowanym ze środków Narodowego Centrum Nauki (umowa UMO-2021/03/Y/ST1/00072); kierownik projektu: dr hab. Maciej Malicki, prof. ucz.

Ostateczny termin nadsyłania aplikacji: 30 maja 2025 r.

Sposób składania aplikacji: e-mail zatytułowany [POSTDOC – nazwa projektu] z załączonymi wymaganymi dokumentami w formacie pdf na adres: mmalicki@mimuw.edu.pl

Wymagania:

• stopień doktora w dyscyplinie matematyka
• doskonałe przygotowanie do prowadzenia badań w dyscyplinie matematyka, w szczególności w jednym lub kilku z następujących obszarów: dynamika topologiczna i symboliczna; teoria ergodyczna; opisowa teoria zbiorów (deskryptywna teoria mnogości)
• doświadczenie badawcze w którymkolwiek z następujących obszarów będzie dodatkowym atutem: złożoność borelowska problemów klasyfikacyjnych w dynamice topologicznej i teorii ergodycznej, złożoność borelowska zbiorów punktów generycznych w topologicznych układach dynamicznych, minimalne symboliczne układy dynamiczne 
• biegłość w języku angielskim, w mowie i piśmie.

Oferata kierowana jest do osób, które właśnie kończą studia II stopnia i szukają opiekuna w szkole doktorskiej interesują się analizą geometryczną i teorią miary (np. rozmaitości ukryte i abstrakcyjne, algebra zewnętrzna, formy różniczkowe, miary Radona, twierdzenia o pokryciu, słaba zbieżność miar, twierdzenie Riesza o reprezentacji itp.).

Atrakcyjne warunki, termin zgłoszeń: 18 V 2025.

Opiekun: dr hab. Sławomir Kolasiński.

Ogłaszamy nabór stypendystów (2 stanowiska) do projektu Sonata Bis "Modele obliczeniowe w formalnej weryfikacji" finansowanego ze środków Narodowego Centrum Nauki.
Kierownik projektu: dr Filip Mazowiecki.

Wymagania:

1. Kandydat w momencie rozpoczęcia stypendium powinien być słuchaczem Szkoły Doktorskiej.
2. Znajomość matematyki i informatyki w zakresie typowym dla dobrych studiów informatycznych bądź matematycznych (podstawy algorytmiki, teorii złożoności, algebry liniowej, analizy matematycznej, matematyki dyskretnej oraz teorii prawdopodobieństwa).
3. Biegła znajomość języka angielskiego.
4. Dodatkowy atut stanowić będzie dotychczasowa aktywność naukowa, szczególnie w zakresie automatów, algorytmiki czy teorii złożoności.

Termin składania zgłoszeń: 29.05.2025

Forma składania zgłoszeń: e-mail na adres: f.mazowiecki@mimuw.edu.pl

Wymagane dokumenty: CV, karta przebiegu studiów oraz jednostronicowy opis dotychczasowych osiągnięć naukowych (jeżeli istnieją) oraz zainteresowań naukowych
i pokrewnych.

Sposób rekrutacji: na podstawie przesłanych dokumentów oraz ewentualnie rozmowy kwalifikacyjnej.

Rozpoczęcie stypendium: 01.10.2025.

Konkurs na stanowisko adiunkta w grancie badawczym „Zagadnienia o miarowych danych”, finansowanym ze środków Narodowego Centrum Nauki (UMO-2019/34/E/ST1/00120) i kierowanym przez dr hab. Iwonę Chlebicką, prof. ucz., wygrał dr David Stolnicki.
Gratulujemy!

Stypendium naukowe w projekcie badawczym Sonata Bis „Uniwersalny robot - rozwijanie uczenia robotów poprzez uczenie ze wzmocnieniem i modele VLA" finansowanym ze środków Narodowego Centrum Nauki (projekt nr 2024/54/E/ST6/00388) otrzymał Mateusz Wyszyński.
Gratulujemy!

Stypendium naukowe w projekcie badawczym Sonata Bis „Eliptyczne geometryczne zagadnienia wariacyjne” finansowanym ze środków Narodowego Centrum Nauki (projekt nr 2022/46/E/ST1/00328) otrzymał Jacek Jakimiuk.
Gratulujemy!

Dnia 24 kwietnia 2025 r. o godz. 15:00 odbędzie się kolokwium habilitacyjne w trybie zdalnym dr. Jacka Sroki.

Osiągnięcie będące podstawą ubiegania się o nadanie stopnia doktora habilitowanego:
„Przepływy prac: zastosowania w bioinformatyce oraz modelowanie przy pomocy sieci Petriego”

Recenzenci:
1. dr hab. inż. Aleksandra Gruca (Politechnika Śląska)
2. prof. dr hab. Marta Kasprzak (Politechnika Poznańska)
3. prof. Khalid Belhajjame (University Paris-Dauphine)
4. prof. Hajo Reijers (Utrecht University, Eindhoven University of Technology)

Link do uczestnictwa w kolokwium habilitacyjnym zostanie udostępniony po wcześniejszej rejestracji.
Zgłoszenie należy przesłać na adres: rnd.inf@uw.edu.pl.
Rejestracja uczestników będzie otwarta do godz. 16:00 w dniu 23 kwietnia 2025 r.

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego ogłasza konkurs na doktoranckie stypendium naukowe w ramach projektu Sonata Bis pt. „Zastosowanie wielofotonowej interferencji kwantowej do wybranych zagadnień kwantowego przetwarzania informacji”,  finansowanego ze środków Narodowego Centrum Nauki (umowa nr 2019/34/E/ST2/00273).

Opis stanowiska
Doktorant/stypendysta, któremu zostanie przyznane stypendium będzie uczestniczył w działaniach przewidzianych harmonogramem prac projektu badawczego, którego kierownikiem jest prof. UW dr hab. Magdalena Stobińska, i dołączy do grupy badawczej skupionej wokół problematyki informacji i optyki kwantowej (więcej na stronie: https://www.stobinska-group.eu/).

Opis zadań
Od doktoranta/stypendysty oczekuje się w szczególności, że będzie: wykonywał zaawansowane obliczenia teoretyczne i numeryczne, znajdował ich zastosowania empiryczne, rozwijał narzędzia badawcze, uczestniczył w przygotowywaniu publikacji podsumowujących wyniki prac, uczestniczył w konferencjach naukowych, szkołach letnich i warsztatach (także zagranicznych), gdzie będzie prezentował własne osiągnięcia badawcze.

Termin składania zgłoszeń: 20 kwietnia 2025

Forma składania zgłoszeń: e-mail na adres mstobinska@mimuw.edu.pl