Post-Docs at OGI
To: types <firstname.lastname@example.org>, acl2 <email@example.com>, amast <firstname.lastname@example.org>, b-talk <email@example.com>, bra-types <firstname.lastname@example.org>, concurrency <email@example.com>, coq-club <firstname.lastname@example.org>, eacsl <email@example.com>, eatcs-it <firstname.lastname@example.org>, elf-list <email@example.com>, facs-mem <firstname.lastname@example.org>, facs <email@example.com>, formal-methods <firstname.lastname@example.org>, fsdm <email@example.com>, hise-safety-critical <firstname.lastname@example.org>, imps <email@example.com>, info-hol <firstname.lastname@example.org>, isabelle-users <email@example.com>, lambda-usergroup <firstname.lastname@example.org>, lego-club <email@example.com>, lfcs-interest <firstname.lastname@example.org>, lics <email@example.com>, logic <firstname.lastname@example.org>, lprolog-list <email@example.com>, nuprlnotes <firstname.lastname@example.org>, petrinets <email@example.com>, pvs <firstname.lastname@example.org>, qed <email@example.com>, reliable_computing <firstname.lastname@example.org>, system-safety <email@example.com>, theorem-provers <firstname.lastname@example.org>, theorynt <theorynt@LISTSERV.NODAK.EDU>, vdm-forum <email@example.com>, zcommittee <firstname.lastname@example.org>, zeves <email@example.com>, zforum <firstname.lastname@example.org>, appsem <email@example.com>, multi <multi at cs.chalmers.se>, topps <firstname.lastname@example.org>, proglog <email@example.com>
Subject: Post-Docs at OGI
From: Andy Moran <firstname.lastname@example.org>
Date: Fri, 01 Dec 2000 11:24:28 -0800
Organization: Oregon Graduate Institute
Reply-To: James Hook <email@example.com>, Andy Moran <firstname.lastname@example.org>
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
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.
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
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
Oregon Graduate Institute of Science and Technology
20000 NW Walker Rd.
Beaverton, Oregon 97006
Email submissions of the same materials may be sent to email@example.com.
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: firstname.lastname@example.org, 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:
(*) Visiting from Cambridge University.
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