[TYPES/announce] PhD position, University of Warsaw

[Sławomir Lasota]

PhD position in concurrency theory, University of Warsaw

**************************************************************************
Fully-Funded 4-year Ph.D. position in automata theory
Department of Mathematics, Informatics and Mechanics, University of Warsaw
Project: "Frontiers of automatic analysis of concurrent systems" funded by
NCN
Principal investigator: Prof. Sławomir Lasota  (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!GLJkhlvh4of-oECqW9D3qenJPM0LZpSxW-R36qAtkltVcopJeR7gyE0mX0ECMYjH--NPA_4sVndI9g$ )
Contact: sl at mimuw.edu.pl
Start: Oct 1, 2022 (or earlier)
Application deadline: April 15, 2022
**************************************************************************

We offer a fully-funded PhD position within the NCN grant "Frontiers of
automatic analysis
of concurrent systems". The project aims at advancing theoretical
foundations at the
borderline between automata theory, concurrency and verification, but
anticipates
also development of prototype analysis tools. A successful candidate is
expected
to enroll into the PhD program in the University of Warsaw.

We offer:

• very competitive salary
• vibrant working atmosphere in the automata group at Warsaw
• exciting and challenging research problems
• scientific collaborations worldwide.

The successful candidate is expected to have:

• Master’s degree or equivalent in computer science or math
• solid background in formal methods and automata theory
• strong motivation for research work in foundations of computer science
• advanced skills in written and spoken English.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220221/247e2d00/attachment.htm>