[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] address@hidden: Postdoc Position in Theorema]

From: root
Subject: [Axiom-developer] address@hidden: Postdoc Position in Theorema]
Date: Mon, 23 Aug 2004 16:46:37 -0400

------- Start of forwarded message -------

Date: Wed, 18 Aug 2004 12:31:11 +0200
From: Theorema <address@hidden>
Subject: Postdoc Position in Theorema

        [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


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

For information on Theorema see 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]