[loginf] Announcement of PhD program within Theorema.

Theorema florina.piroi at risc.uni-linz.ac.at
Thu Feb 26 19:56:54 CET 2004

        [We apologize for multiple copies]

Positions for PhD Students within the Theorema Project

In the Theorema Project several research assistantships for
PhD students are available for 3 to 4 years in the frame of
the PhD program of  RISC (Research Institute for Symbolic 
Computation, Johannes Kepler University, Campus Schloss

The goal of the Theorema Project is the design and implementation 
of a software system for supporting all phases of mathematical theory 
exploration. The Theorema Group consists of 10 coworkers (faculty,
postdocs, PhD students).

Candidates for these PhD research asistantships should send their 
application to

Bruno.Buchberger at jku.at

The application should contain a CV, a list of courses  with grades,
3 letters of recommendation. Certificate on English as a working

Prerequisites: Master's degree in mathematics or computer science,
high research potential.

For more information see:


Bruno Buchberger
Project Leader of Theorema

Bruno Buchberger, Dr phil, DDr hc 
Professor of Computer Mathematics 
Research Institute for Symbolic Computation 
Johannes Kepler University, A4232 Castle of Hagenberg, Austria 
Phone office: ++43 732 2468 9921 
Mobile Phone: ++43 664 4211646 
Fax: ++43 732 2468 9930 
E-mail: Buchberger at RISC.Uni-Linz.ac.at 
WWW: http://www.risc.uni-linz.ac.at/people/buchberg/

More information about the loginf mailing list