Postdoctoral research position in rewriting and implicit complexity
Apr 23, 2012
The Human-Centered Computing group at the Department of Computer Science (DIKU) at the University of Copenhagen seeks a postdoctoral researcher for the project “Complexity through Logic and Algebra” (COLA).
The postdoctoral researcher will work closely with the principal investigator aiming to characterize non-deterministic complexity classes (e.g. NL, NP, NE, NEXP) by restricted classes of term rewriting systems.
Details and online application at:
Note that the application deadline is fast approaching: April
Questions concerning the post can be posed directly to Jakob Grue