Roczne stypendium studenckie w ramach grantu NCN "Frontiers of automatic analysis of concurrent systems"

Oferujemy roczne stypendium studenckie w ramach grantu NCN "Frontiers of automatic analysis of concurrent systems". Celem projektu jest rozwijanie teoretycznych podstaw na styku teorii automatów, współbieżności i weryfikacji formalnej.

Projekt: „Frontiers of automatic analysis of concurrent systems” finansowany przez NCN
Kierownik projektu: Prof. Sławomir Lasota (www.mimuw.edu.pl/~sl)
Kontakt: sl at mimuw.edu.pl
Czas trwania: jeden rok, począwszy od października 2024 r.
Termin składania aplikacji: 25 września 2024 r.

Kandydat powinien posiadać:

• ukończony pierwszy rok studiów magisterskich z informatyki lub matematyki
• solidne podstawy w zakresie z metod formalnych i teorii automatów
• silną motywacje do pracy badawczej w zakresie podstaw informatyki
• zaawansowane umiejętności w pisemnym i ustnym języku angielskim

Aby uzyskać szczegółowe informacje na temat aplikacji i procedury rekrutacyjnej, prosimy o kontakt z Sławomirem Lasotą pod adresem: sl at mimuw.edu.pl