Logic List Mailing Archive

PhD fellowship: Gr�bner Bases & Automated Reasoning, Linz (Austria), Deadline: 15 June 2008

PhD fellowships: Johannes Kepler University, Austria

�**********************************************************
�*� At RISC (Research Institute for Symbolic Computation) *
�* Johannes Kepler University,� Linz / Hagenberg, Austria *
�**********************************************************

-� Learn Groebner Bases from the Inventor.
-� Deeply Dive into Automated Reasoning.

I can offer excellent students with a master's in mathematics
or computer science PhD fellowships for 3 years�
(1600 Euro per month) at the cutting edge of Groebner Bases
theory / algorithmics and automated reasoning.

For more details and applications forms etc. see �
� � http://www.dk-compmath.jku.at/application

Deadline for application:�
� � June 15, 2008.�

Send a copy of the application directly to me:�
� � bruno.buchberger@jku.at


Bruno Buchberger
Inventor of the Groebner Bases Method *)

*) 2008 ACM Kanellakis Award� Winner, see�
http://www.acm.org/press-room/news-releases/kanellakis-award-07/