31 computer-algebra PhD positions