Positions at Algorithms and Logic Group, UESTC, Chengdu

From Bakh Khoussainov (bmk@cs.auckland.ac.nz):

===

The Algorithms and Logic Group at UESTC, Chengdu is hiring!

For more information:

– Poster.

– Visit the group.