Nie jesteś zalogowany |
Zaloguj się
|
Aktualności
Konkurs na stanowisko adiunkta w projekcie „Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki”
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.
Rozstrzygnięcie konkursu na stypendium naukowe w projekcie "Granice automatycznej analizy systemów współbieżnych"
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!
Konkurs na stanowisko adiunkta w projekcie "Nieskończoność we wnioskowaniu o danych i wiedzy"
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.
Trzy stypendia magisterskie w projekcie "Układy otwarte"
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).
Jakub Paliga – publiczna obrona rozprawy doktorskiej
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.
Konkurs na stypendium naukowe dla magistranta w grancie NCN MAESTRO „Skończenie stanowe obliczenia wielomianowe”
Kierownikiem projektu (nr 2022/46/A/ST6/00072) jest prof. dr hab. Mikołaj Bojańczyk.
Wybrany kandydat będzie prowadzić badania naukowe związane z tematyką projektu, wliczając:
- regularne spotkania z kierownikiem projektu oraz jego zespołem;
- spisywanie wyników oraz ich prezentację.
Termin nadsyłania zgłoszeń: 31 października.
Prezentacje prac dyplomowych kierunku Machine Learning
Zapraszamy do obejrzenia prezentacji prac dyplomowych studentów kierunku Machine Learning. Szczególnie zachęcamy wszystkich myślących o studiowaniu, na etapie magisterskim, uczenia maszynowego na naszym Wydziale. Studia prowadzone są w języku angielskim.
Konkurs na stypendium naukowe dla magistrantów w grancie NCN SONATA "Integracyjna analiza danych genomicznych z pojedynczych komórek"
Stypendium dla dwóch magistrantów w projekcie "Integracyjna analiza danych genomicznych z pojedynczych komórek" finansowanym przez Narodowe Centrum Nauki (2020/39/D/NZ2/03461). Wybrani kandydaci będą pracować nad rozwojem metod obliczeniowych wykorzystujących dane eksperymentalne z sekwencjonowania pojedynczych komórek.
Sukces studentów w konkursie XVI Ogólnopolskim, Międzyuczelnianym Konkursie Młodych Mistrzów
Mamy przyjemność poinformować, że tegoroczna praca licencjacka pt. "Segmentacja i lokalizacja miejsca sinawego w MRI mózgu przy użyciu konwolucyjnych sieci neuronowych" stworzona przez zespół w składzie: Mikołaj Dziok, Kornel Howil, Sara Aleksandra Łukasik, Maciej Szerenos, została uznana za (ex aequo) najlepszą w kategorii informatyzacji ochrony zdrowia w XVI Ogólnopolskim, Międzyuczelnianym Konkursie Młodych Mistrzów.
Zajęcia dla grup szkolnych
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego zaprasza grupy zainteresowanych licealistów na popołudniowe spotkania z matematyką pozaszkolną.
