[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 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
Bruno.Buchberger(a)jku.at
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: Buchberger(a)RISC.Uni-Linz.ac.at WWW: http://www.risc.uni-linz.ac.at/people/buchberg/ ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------