One-year student fellowship within the NCN grant "Frontiers of automatic analysis of concurrent systems"

We offer a one-year student fellowship within the NCN grant "Frontiers of automatic analysis of concurrent systems". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification.

• Project: "Frontiers of automatic analysis of concurrent systems" funded by NCN
• Principal investigator: Prof. Slawomir Lasota (www.mimuw.edu.pl/~sl)
• Contact: sl at mimuw.edu.pl
• Duration: one year starting from Oct 2024
• Application deadline: 25 Sept 2024

The successful candidate is expected to have:

• completed first masters year in computer science or math
• solid background in formal methods and automata theory
• strong motivation for research work in foundations of computer science
• advanced skills in written and spoken English.

For details of application and recruitment procedure, please contact Slawomir Lasota at sl at mimuw.edu.pl