Postdoc in lightweight formal methods for SE

                  Postdoctoral Fellowship Position
                   Department of Computer Science
                   University of Western Ontario

[Please forward this ad to any individuals you think might be interested.]

A one-year postdoctoral fellowship is available in the area of lightweight
formal methods for software engineering, funded in part by Nokia Corp.,
NSERC (Natural Science and Engineering Research Council of Canada) and the
Faculty of Science, University of Western Ontario.

The project title is "Reliability and Quality Assurance of Public Network
Software".  The project aims to develop and extend tools and techniques to
support lightweight formal approaches to software testing, with a
particular emphasis on networked applications.  Current work includes the
development of an open-source WAP browser and its conformance verification
using formally-defined test oracles.  Planned future work includes
empirical studies and development and integration of test coverage,
theorem-proving and test case generation capabilities.  The project leader
is Jamie Andrews.

The successful candidate should have some familiarity with all of the
following fields:
- Software testing
- Communication protocols
- Formal methods in software engineering
- Logic programming

In addition, the successful candidate should have more detailed knowledge
of one or more of the following fields:
- Empirical studies of software engineering
- Formal methods for software testing
- Formal specification of communication protocols
- Proving properties of programs (Hoare logic, dynamic logic, etc.)

The position is at the Department of Computer Science, University of
Western Ontario.  The University of Western Ontario (est. 1878) is located
on 155 hectares of land along the banks of the Thames River in London,
Ontario, Canada.  London is a city of about 400,000 people, about halfway
between Toronto, Ontario and Detroit, Michigan (two hours' drive from each).

The salary is $35,000-$40,000 Canadian, depending on qualifications and
experience.  Please send a CV, including names and addresses of three
referees (PostScript or PDF, no MSWord please), to Jamie Andrews
(andrews@csd.uwo.ca).  Closing date for applications is Jan. 15, 2002.
The position will begin around Mar. 1, 2002.

--Jamie Andrews.
  Assistant Professor
  Dept. of Computer Science
  Univ. of Western Ontario
  London, Ont. CANADA N6A 5B7