[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