The KANT group of TU Berlin, Institute of Mathematics has a post-doc
vacancy in
connection with the recently awarded European Framework VI project
"SCIEnce: Symbolic Computation Infrastructure for Europe".
About SCIEnce
The goal of SCIEnce is to improve integration between key world-leading
developer and application experts in Symbolic Computation software
systems. Such systems form a vital infrastructural tool in areas of modern
academic and commercial research, with important applications in Mathematics,
Physics, Chemistry, Computer Science, Engineering and other technical
disciplines. The main objective of SCIEnce comprises the elimination of
fragmentation of European Symbolic Computation software by bringing together
the main actors and facilitate the access to their specific knowledge, in
particular the development of standards and middleware for grid computing and
for the exchange of mathematical data in Symbolic Computation, and common
benchmarks.
SCIEnce aims to link the computer algebra systems GAP4, KASH/ KANT, MuPad, and
Maple in the context of Web and Grid services. In this scheme, each of these
systems will run as a server or a client. The project will answer many
questions about access and transport for complex mathematical objects. In
particular SCIEnce will develop an OpenMath XML format for the mathematical
objects used by these systems.
The position
The tasks of the position are the joint design of an OpenMath XML standard for
algebraic and number theoretic objects and the development and implementation
of a Web/Grid services interface for KASH. In cooperation with other project
members, applications of these technologies are to be investigated.
The position starts on 1 October 2006, or as soon as possible thereafter, and
will run for two years with the option for additional two years.
Requirements
Essential Criteria
a PhD in computational number theory or in a related area
relevant programming experience
excellent communication and organisational skills
ability to work in a team
Desirable Criteria
experience of KASH/KANT programming and C programming
research experience
knowledge of Web services and/or Grid computing
knowledge of the OpenMath data encoding language
Applications
The deadline for applications is September 4 2006.
Applications should contain a curriculum vitae and copies of the relevant
degree certificates (diploma, bachelor, masters and PhD certificates), plus
other supporting material (more detailed course lists, publications, etc).
Applications should be sent to
Prof. Dr. Florian Hess
Technische Universität Berlin
Institut für Mathematik MA8-1
SCIENCE Project
Straße des 17. Juni 136
10623 Berlin
Germany
