[we apologize for multiple copies]

Postdoc Position in the Frame of the Theorema Project ======================================================

The new Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Science in Linz, Austria, offers a postdoc position in the frame of the Theorema Project.

The Theorema Project aims at creating a system that supports the entire process of Mathematical Theory Exploration (inventing mathematical concepts, inventing and verifying propositions, inventing mathematical problems, inventing and verifying algorithms, building up and manipulating structured mathematical knowledge bases etc.).

Prerequisites:

- PhD in mathematics or computer science - Expertise or, at least, interest in computational mathematics, computational logic, and software development.

Applications (CV, publication list etc.) should be sent to the Theorema project leader:

Professor Bruno Buchberger buchberger(a)risc.uni-linz.ac.at

For information on Theorema see http://www.theorema.org

============================================================================== 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/ -----------------------------------------------------------------------------