LINGUIST List 15.1393

Mon May 3 2004

Support: Gr�bner Bases: PhD position, Johannes Kepler U

Editor for this issue: Sarah Murray <sarahlinguistlist.org>

Directory

1. Florina Piroi, Gr�bner Bases Theory: PhD position, Johannes Kepler University

Announcement of PhD Study Position in Gr�bner Bases Theory
------------------------------------------------------------

I intend to write a book on Gr�bner bases theory using the Theorema
System currently developed in my Theorema Working Group. I would also
like to organize a special semester on Gr�bner bases in the frame of
the newly created Radon Institute for Computational and Applied
Mathematics (RICAM, Linz, Austria) and to build up a Gr�bner bases web
site with a papers repository etc. I invite students who want to do
their PhD work on Gr�bner bases under my personal advice and who also
would like to help me with the preparation of the book and the web
site. Prerequisites: good background in mathematics and software,
practice in formal proving.

The PhD study will be in the frame of the RISC PhD study. The research
assistantship will be approx. 1000 Euro net per month, which is well
sufficient to cover living expenses in Austria.

Applications should be sent by e-mail to the address below.


Bruno Buchberger
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: BuchbergerRISC.Uni-Linz.ac.at 
WWW: http://www.risc.uni-linz.ac.at/people/buchberg/