[TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw
Sławomir Lasota
s.lasota at uw.edu.pl
Thu Nov 3 18:01:29 EDT 2022
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: sl at mimuw.edu.pl
**************************************************************************
Further details: https://urldefense.com/v3/__https://www.mimuw.edu.pl/*sl/2022-postdoc-recr.txt__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uv7MAn2JA$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221103/6f27d736/attachment-0001.htm>
More information about the Types-announce
mailing list