Fixed-term research appointments in symbolic computation and mathematics, focusing on computer algebra, algebraic algorithms, and discrete methods. Full-time roles based in Austria, suited to experienced researchers with expertise in mathematical software and algorithm design.