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.,
- 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