In the frame of ALGORITHMIC AND ENUMERATIVE COMBINATORICS there is a PostDoc position available in RISC, Linz.

Project: Computer Algebra for Nested Sums and Products

Suggested starting date: April 2015;

Duration: one, maximally 2 years

Possible research topics within this project are:

- symbolic summation/integration algorithms

- algorithms to solve differential/difference equations

- the development of special function algorithms to extract, e.g.,

analytic properties

- the application of the available tools in this context to attack

challenging problems in combinatorics and related research areas.

For more info see: https://www.sfb050.risc.jku.at/ link