[TYPES/announce] PhD position, University of Warsaw

Sławomir Lasota s.lasota at uw.edu.pl
Mon Feb 21 12:47:30 EST 2022

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
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
also development of prototype analysis tools. A successful candidate is
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>

More information about the Types-announce mailing list