We invite applications of motivated and research-focused individuals to carry out research on Petri nets and their extensions as part of the NCN project "Data-enriched models of computation". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification. The successful candidate will be hosted by the automata theory group at the University of Warsaw, offering a vibrant working atmosphere, and exciting and challenging research problems.

************************************************************************** - Application deadline: November 30, 2022 - Starting date: flexible - Duration: one year, possible extension to another year - Principal investigator: Slawomir Lasota (www.mimuw.edu.pl/~sl) - Contact: sl@mimuw.edu.pl **************************************************************************

Further details: https://www.mimuw.edu.pl/%7Esl/2022-postdoc-recr.txt