[ 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 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
(https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uuYicML7w$
)
- Contact: s...@mimuw.edu.pl
**************************************************************************
Further details:
https://urldefense.com/v3/__https://www.mimuw.edu.pl/*sl/2022-postdoc-recr.txt__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uv7MAn2JA$
