Logic List Mailing Archive

Postdoctoral position on "Continuous time models of computations", Nancy (France)

A postdoc position is available in Nancy, France (1.5 hours from Paris by 
High speed train).

Topics: "Continuous time models of computations".

Keywords: Models of computations, Computability theory, Complexity theory, 
Theory of Verification, Control Theory, Dynamical Systems.


Requirements:
- excellent PhD in Computer Science or Mathematics
- experience in any of the fields mentioned above.

Candidates should contact Olivier Bournez by email: bournez@loria.fr

More information:
Olivier Bournez
http://www.loria.fr/~bournez