===========================================================================
====
RESEARCH ASSOCIATE
Automated development/verification of probablistic programs
(Ref 757)
School of Computer Science and Engineering
University of New South Wales
Sydney, Australia
Salary Range: 45,268 - 48,591,
for two years (negotiable)
ARC large-grant funding
A postdoctoral position is available at the University of New South Wales
to carry out research on automated development/verification of
probabilistic programs. The point of departure is the synthesis of two
strands of recent research:
The B method [1] is a framework, based in theory on (Boolean) predicate
transformers, for specifying, designing and coding software systems. In
practice it is supported by The Toolkit (existing in two independent
versions), which automates and organises much of the predicate-calculus
reasoning for maintaining correctness during software design.
Probabilistic predicate transformers [2] extend Boolean predicate
transformers so that they can describe probabilistic programs.
In brief, the project aims to produce a probabilistic extension of B. In
more detail, Carroll Morgan, Ken Robinson and the appointee will adapt the
theory supporting the current B method, as it is described in the
principal reference [1], so that it can accommodate the probabilistic
extension. A second, or concurrent, stage will be modifications to The
Toolkit programs to implement the extended theory.
Case studies will be developed to explore the use of the theory and the
extended toolkit.
Information concerning the position, including a duty statement listing
selection criteria, is available at URL
http://www.cse.unsw.edu.au/~carrollm/positions
Applications should address the selection criteria, list three referees,
and include copies of one or two recent publications. Applications should
be submitted by 16th March to the address below. For further information,
contact
Adj. Prof. Carroll Morgan
School of Computer Science and Engineering
Building K17
University of New South Wales
Sydney 2052
Australia
email: [log in to unmask]
http://www.cse.unsw.edu.au/school/people/info/carrollm.html
phone: +61 2 9385 5317
fax: +61 2 9385 5995
|