[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Announcement of PhD program within Theorema.]
From: |
root |
Subject: |
[Axiom-developer] Announcement of PhD program within Theorema.] |
Date: |
Thu, 18 Mar 2004 13:01:31 -0500 |
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
Hagenberg).
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
address@hidden
The application should contain a CV, a list of courses with grades,
3 letters of recommendation. Certificate on English as a working
language.
Prerequisites: Master's degree in mathematics or computer science,
high research potential.
For more information see:
http://www.risc.uni-linz.ac.at/
http://www.risc.uni-linz.ac.at/people/buchberg/
http://www.theorema.org/
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: address@hidden
WWW: http://www.risc.uni-linz.ac.at/people/buchberg/
------- End of forwarded message -------
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Announcement of PhD program within Theorema.],
root <=