[TYPES/announce] postdoc position, University of Warsaw

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

Postdoc position in automata theory, University of Warsaw

- Application deadline: March 31, 2022
- Starting date: As soon as possible
- Salary: 27.000 PLN 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!BtApIM-cXc3QIz-uFVhZyCjZ2BOhP7hAkMH_R2QVfeCgW11UeT8lSuTsD640A1V5VM0Mc321-Gz1Ew$ )
- 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

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/20220221/c9df52f6/attachment.htm>

More information about the Types-announce mailing list