Logic List Mailing Archive

Postdoctoral position in automata theory, Warsaw (Poland), Deadline: 31 Mar 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  (www.mimuw.edu.pl/~sl)
- Contact: sl@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@mimuw.edu.pl.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam