PhD Position

Postdoctoral research position in rewriting and implicit complexity

Submissions:
Apr 23, 2012

http://www.diku.dk/english/about/vacancies/postdoc/

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:

www.diku.dk/english/about/vacancies/postdoc/

Note that the application deadline is fast approaching: April
23rd 2012.

Questions concerning the post can be posed directly to Jakob Grue
Simonsen (simonsen@diku.dk).

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

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>