Oferuję stypendium studenckie w ramach projektu badawczego Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla finansowanego przez Narodowe Centrum Nauki (projekt nr 2017/27/B/ST1/01951).

Projekt dotyczy siły logicznej różnych twierdzeń z zakresu kombinatoryki i teorii obliczeń. Przedmiotem badania będzie dowodliwość tych twierdzeń w pewnych ważnych teoriach aksjomatycznych oraz problematyka rozmiaru dowodów. 

Stypendium wyniesie 1000 zł miesięcznie i obejmie okres 12 miesięcy. Stypendysta będzie miał za zadanie napisanie pracy magisterskiej związanej z tematyką projektu.

Wymagania:

• ukończony etap licencjacki studiów na kierunku matematyka bądź informatyka,
• dobra znajomość logiki oraz teorii obliczeń, w tym złożoności obliczeniowej,
• mile widziane: podstawowa znajomość teorii automatów i pewne oswojenie z kombinatoryką,
• umiejętność sprawnego czytania po angielsku.

Zgłoszenia, zawierające:

• cv z informacją o zainteresowaniach kandydata i dotychczasowych osiągnięciach (np. konkursy, nagrody),
• wykaz ocen uzyskanych dotąd na studiach,

należy przesyłać mailem na adres lak@mimuw.edu.pl w terminie do 6 sierpnia 2018 r.

Kandydaci będą oceniani zgodnie z regulaminem 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ż 15 września 2018 r.