PhD Position

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
23rd 2012.

Questions concerning the post can be posed directly to Jakob Grue
Simonsen (

Some Tags: science, group, complexity, rewriting, term rewriting, logic

Leave a Reply




You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>