Postdoc : Dynamic and arithmetic aspects of verification M/F
The French National Centre for Scientific Research (CNRS)
France
Summary
Postdoctoral position in theoretical computer science or mathematics focusing on automata, symbolic dynamics, and verification. Independent research, seminars, and supervision of interns. Based in Paris; for PhD holders with 1–4 years’ experience; competitive salary.
