[Prev][Next][Index][Thread]
Postdoc at Penn
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
POSTDOCTORAL RESEARCH JOB
at
The University of Pennsylvania
Department of Computer and Information Science
The Logic and Computation Group at Penn seeks applications for a
postdoctoral researcher for work on the application of formal methods
in software engineering. Particular areas of interest include:
1. Theory relevant to SE: especially semantic specification
techniques.
2. The construction of tools: such as automated reasoning tools and
logic-based systems for testing or other SE activities.
3. The application of tools: such as the use of automated reasoning
tools to prove properties of languages or programs.
4. The development of standards for programming and specification
languages or the formalization of standards.
5. Domain application of formal methods: such as specifying security,
safety, and real-time properties.
The term of the position is 1 year with an option to renew for an
additional year. A starting date before January of 1997 is expected;
candidates should have completed all thesis requirements by that time.
A competitive salary will be offered.
We will also consider applications to support sabbatical leaves at
Penn for researchers in this area.
Please send a complete CV including addresses for at least three
references to one of the following people:
Carl Gunter
gunter@cis.upenn.edu
http://www.cis.upenn.edu/~gunter
Insup Lee
lee@cis.upenn.edu
http://www.cis.upenn.edu/~lee/home_lee.html
Dale Miller
dale@cis.upenn.edu
http://www.cis.upenn.edu/~dale