Oferuję atrakcyjne stypendium doktoranckie w ramach grantu NCN Automatyczna analiza systemów współbieżnych. Tematyka projektu leży na pograniczu teorii automatów, logiki i złożoności obliczeniowej.

Od kandydatów oczekiwane jest znakomite przygotowanie z teorii automatów, logiki
i teorii złożoności. Przewidywany czas współpracy to maksymalnie 4 lata (początek
pomiędzy lipcem a październikiem 2018), wynagrodzenie w formie stypendium,
niewykluczające się ze zwykłym stypendium doktoranckim.

Termin nadsyłania zgłoszeń: 30 czerwca 2018.
Kontakt: Sławomir Lasota, pok. 5660, e-mail sl@mimuw.edu.pl