[TYPES/announce] postdoc position, University of Warsaw

[Sławomir Lasota]

[ erratum: mistaken salary amount corrected ]

Postdoc position in automata theory, University of Warsaw

**************************************************************************
- Application deadline: March 31, 2022
- Starting date: As soon as possible
- Salary: 27.000 EUR per annum (very competitive in Poland)
- Duration: one year, possible extension to another year
- Project: "Data-enriched models of computation" funded by NCN
- Principal investigator: Prof. Sławomir Lasota  (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!EHBRhAjeYEDUNQwhE6Oizf3ysQHhCfrM64bEGeqiw5AEo4uvAQEo_0JzR29C8gnYnG9kBakO3hXXeA$ )
- Contact: sl at mimuw.edu.pl
**************************************************************************

The project aims at advancing theoretical foundations at the borderline
between automata theory, concurrency and verification. We promise, except
for very competitive salary, a vibrant working atmosphere in the automata
group at the University of Warsaw, and exciting and challenging research
problems.

The ideal candidate is expected to have:

• PhD degree or equivalent in computer science or math
• Solid background in formal methods and automata theory
• Significant publication record
• Strong motivation for research work in foundations of computer science
• Advanced skills in written and spoken English.

To apply, please send your curriculum vitae to sl at mimuw.edu.pl.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220222/8e9d8c0b/attachment-0001.htm>