Trwa konkurs na stypendium doktoranckie 3000 zł miesięcznie w ramach grantu NCN "Własności ilościowe dla schematów rekurencyjnych wyższego rzędu" kierowanego przez dr Pawła Parysa. Tematyka projektu leży na pograniczu teorii automatów, logiki i rachunku lambda. Czas trwania stypedium to 3 lata.

Warunkiem jest prowadzenie (w ramach doktoratu) badań naukowych na tematy związane z teorią automatów, logiką, rachunkiem lambda, automatyczną analizą (weryfikacją) programów. To przede wszystkim praca teoretyczna (dowodzenie twierdzeń itp), aczkolwiek jest także możliwość udzielenia stypendium osobie, która chciałaby pójść bardziej w stronę implementacji algorytmów związanych z tą tematyką.

Więcej informacji i zgłoszenia: Paweł Parys, pok. 5730, parys@mimuw.edu.pl
Termin nadsyłania zgłoszeń: 31 stycznia 2018.