Post-Docs at OGI


Subject: Post-Docs at OGI
From: Andy Moran (moran@cse.ogi.edu)
Date: Fri Dec 01 2000 - 14:24:28 EST


[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

                             POST-DOCS AVAILABLE

                       Pacific Software Research Center

              Oregon Graduate Institute of Science & Technology

The Pacific Software Research Center (PacSoft) explores declarative techniques
for dramatically improving the software development process. The Center is
composed of faculty (Mark Jones, John Launchbury, James Hook, Richard
Kieburtz, Tim Sheard, Andrew Tolmach, and Michael Gordon (*)), graduate
students and professional staff, and currently numbers over a dozen full-time
technical people.

The Center has active research programs in compiler technology for
functional languages, software-enabled control, meta-programming and the use
of design automation tools for software generation, specification, semantics
and implementation of domain specific languages (including domain analysis),
automatic program optimization using fusion and partial evaluation, the
specification of microprocessor microarchitectures using functional
languages, and the use of formal methods for specification, analysis and
verification. In addition the Center runs an active visitor program which
attracts high quality researchers from around the world.

POST-DOCS AVAILABLE

PacSoft has immediate openings for postdoctoral researchers to work on the
Programatica project. Programatica is an environment for the simultaneous
development of systems and formal models of systems that leverages functional
programming, theorem proving, and other applied formal methods. The primary
application area of Programatica is modeling information assurance properties.

The Programatica approach is best summarized as "programming as if properties
mattered". The aim is to support the development of high-assurance programs
(that is, programs that satisfy desirable formal properties and are proven to
do so) without overwhelming the developer with proof minutiae. By varying the
degree of validation applied to properties (all the way from simple assertion
through to model checking and full-blown theorem proving), a Programatica
developer will be able to concentrate on those properties crucial to their
system (such as separation axioms for secure systems).

Candidates are sought with expertise in the application and implementation of
theorem proving technology, applications of higher-order, typed functional
languages, or other areas related to information assurance and applied formal
methods.

To apply, please send a CV with a brief description of your research
accomplishments and interests, including the names of at least three
references. Send applications to:

        Position #CSE 8-3-00
        Personnel Office
        Oregon Graduate Institute of Science and Technology
        20000 NW Walker Rd.
        Beaverton, Oregon 97006

Email submissions of the same materials may be sent to jobs@admin.ogi.edu.
Include position number in the subject line.

OGI is an Equal Opportunity Employer and particularly welcomes applications
from qualified women, minorities, and individuals with disabilities.
Appointment is subject to the availability of funding.

Questions (but please no application materials!) may be directed to
Professor James Hook, email: hook@cse.ogi.edu, phone: 503-748-1169.
Information about the Pacific Software Research Center and the Programatica
project can be found on the world wide web at the URL:

        http://www.cse.ogi.edu/PacSoft/

(*) Visiting from Cambridge University.

--
James Hook
Associate Professor and Department Head
Department of Computer Science and Engineering
Oregon Graduate Institute of Science & Technology
phone +1 503 690 1169       http://www.cse.ogi.edu/~hook



This archive was generated by hypermail 2b28 : Sun Dec 03 2000 - 22:07:51 EST