The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
RICAM-Master Thesis
07-07-30 10:00
Master Thesis in Mathematics / Computer Science: Symbolic Computation for Differential Equations.

We offer a Master Thesis for mathematics or computer science in the field of

Symbolic Computation for Differential Equations.

The main task will be designing and implementing an efficient package for manipulating integro-differential operators. It is based on new a symbolic computation method for differential equations and boundary conditions developed at RISC and RICAM. Depending on the candidate's interests, there are also various theoretical topics that could be investigated further. The programming work will build on an existing implementation of an earlier version of the method used.

Some or, ideally, all of the following qualifications are necessary:
  • Programming Experience and Motivation
  • Familiarity with Computer Algebra Systems (Mathematica, Maple)
  • Sound Skills in Differerntial and Integral Calculus
  • Basic Knowledge in Term Rewriting or Algebra

The duration of the master thesis under the joint guidance of Professors Buchberger (RISC) and Engl (RICAM) and their co-workers Dr. Markus Rosenkranz and Dr. Georg Regensburger is scheduled for one semester full-time. Successful candidates may expect financial support (FWF "Forschungsbeihilfe für DiplomandInnen") of apx. EUR 440,-- per month in this period. A laptop will also be provided if needed.

In case of interest, please contact:

Markus.Rosenkranz or Georg.Regensburger @

 Symbolic Computation Group
 Radon Institute for Computational and Applied Mathematics (RICAM)
 Austrian Academy of Sciences
 +43 (70) 2468-5230


Related news:

<- Back to the newslist

Contact / Location

SpezialForschungsBereich SFB F013
JK Universität Linz
Hochschulfondsgebäude HF 235
Altenberger Straße 69
A-4040 Linz / Urfahr

Office: +43 / 70 / 2468 - 7174
Fax: +43 / 70 / 2468 - 7179


You can reach us

by car:
The campus is right next to the "Dornach" exit of the A7 - Mühlkreisautobahn, with Passau, Salzburg and Vienna all being roughly a 1:30 hours drive away.

by train:
Linz is a railway hub with Intercity lines connecting it to Vienna, Salzburg/Munich, Passau/Nürnberg and Prag.

From the railway station, you can use

by plane:
Except for a few times per day, there is no decent connection between the airport Linz-Hörsching and the city or university at the moment. Taxis (some 30 Euro) and rental cars are available.

Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund