[TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on mathematical models of concurrent systems as part of the NCN project "Frontiers of automatic

[TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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