Research Assistant Grade 6

University of Liverpool - Computer Science

Faculty of Science and Engineering

You will work on the new E.P.S.R.C-funded research project "Reachability problems for words, matrices and maps: Algorithms and Complexity", under the direction of Dr. Igor Potapov. You will carry out research on decidability and complexity of reachability problems in various computational models including automata models, rewriting systems, matrix semigroups, iterative maps and hybrid systems. You should have an MSc degree (completed or near completion) in Computer Science, Mathematics or a closely related area together with relevant research expertise in theoretical computer science or in combinatorial, algorithmic and computational aspects of algebraic structures or dynamical systems. The post is available for 5 months.

Closing Date: 13 December 2017, 23:30

Interview Date: To be confirmed

Informal enquiries to Dr Igor Potapov, email:

For full details and to apply online, please visit:

Share this job
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:


Northern England