Research Assistant/PhD student Computational Logic and ContinuousMathematics / Queen Mary University of London

["Dagmar M. Meyer" <dmeyer@DROPMEmariecurie.org>]

---------- Forwarded message ----------
Date: Wed, 8 Oct 2003 11:30:27 +0100
From: Ursula Martin <Ursula.Martin@DROPMEDCS.QMUL.AC.UK>
To: EWM-ALL@DROPMEJISCMAIL.AC.UK
Subject: Research Assistant/PhD Computational Logic and Continuous
    Mathematics

Queen Mary University of London
Department of Computer Science

Post-Doctoral Research Assistant
Research student

Computational Logic and Continuous Mathematics

A Research Assistant and Research Student are  required to work on this
project, which concerns the application of computational logic to
continuous mathematics,  with particular application to modeling
applications in control.  You will join an active new group at Queen
Mary University of London, working with Professor Ursula Martin and Dr
Hanne Gottliebsen,  in close collaboration with Qinetiq, NASA Langley,
Intel Research Cambridge, mathematicians at  Queen Mary University of
London,  and the Automated Reasoning Group in the Computer Laboratory
at the University of Cambridge. The posts are funded by EPSRC under the
interdisciplinary MathFit initiative and last for a period of three
years.

The immediate goal of the project is to develop a computational logic
framework
for reasoning about dynamical systems, especially in feed-back control
theory and its applications, extending a pilot study concerned with
Hoare logic for  classical control.
  It is part of a long term program to apply the techniques of
computational logic to mathematics and its applications.   A case study
will be developed in the area of optoelectronics.

Research assistant
Applicants for the post of Research Assistant should have Ph.D. degree
in Computer Science, Mathematics   or a closely related discipline and
have experience of computational logic, dynamical systems, control
engineering  or symbolic computation, and a willingness to undertake
interdisciplinary work and tackle novel research problems.
Teaching opportunities may be available for suitable candidates.   The
salary is on the RA1A Scale, 20579 to 29654 (inclusive of London
weighting) depending on age and experience. The starting date is 1
January 2004, or as soon as
possible theoreafter, and the project runs for three years.

Research student
Applicants for the post of research student should have an
undergraduate or masters degree in Computer Science or Mathematics, and
a willingness to undertake interdisciplinary work and tackle novel
research problems.  You will be registered for a PhD in the University
of London and be subject to its standard conditions. Stipend will be at
the rate of £11000  per   annum inclusive of London weighting, and full
PhD  fees will also be payable for UK or EU students.

Further details about the background to the research are available from
http://www.dcs.qmul.ac.uk/~uhmm/grants/clcm/index.html

Application forms and Departmental information are available here
https://www.dcs.qmul.ac.uk/public/recruitment/

Intending applicants are most welcome to contact Ursula Martin
Ursula.Martin@DROPMEdcs.qmul.ac.uk for further information