Postdoctoral Research Associate

• To: concurrency@cwi.nl, formal-methods@cs.uidaho.edu, theorem-provers@ai.mit.edu, types@cis.upenn.edu, bra-types@cs.chalmers.se
• Subject: Postdoctoral Research Associate
• From: Frank Pfenning <fp@raw.fox.cs.cmu.edu>
• Date: Thu, 09 Mar 2000 09:22:00 -0500
• cc: pop-group@cs.cmu.edu
• Reply-to: Frank Pfenning <fp+@cs.cmu.edu>

		    POSTDOCTORAL RESEARCH ASSOCIATE

		     Department of Computer Science
		       Carnegie Mellon University

The Fox project on Advanced Language Technology for Extensible Systems
under the direction of Robert Harper, Peter Lee, and Frank Pfenning is
looking for a postdoctoral researcher.  Applicants should have
background and interests in one or more of the following areas:

  - design and implementation of ML and related languages
  - advanced type systems, proof-carrying code and certifying compilation
  - embedded systems, network software and safety infrastructure

The ideal candidate will have credentials in system building and a
lively interest in language theory.  Participation in teaching
activities is also encouraged.  The appointment is initially for one
year with a potential renewal for a second year.  Salary is negotiable
and commensurate with experience.

The Fox project is working to demonstrate the viability and benefits of
advanced languages for programming real-world systems, with an emphasis
on networking, mobile code, and related safety and efficiency problems.
For more information on the Fox project, see http://foxnet.cs.cmu.edu/.

Please direct inquiries and applications to

  Frank Pfenning
  Department of Computer Science
  Carnegie Mellon University
  Pittsburgh, PA 15213-3891

  fp@cs.cmu.edu

Carnegie Mellon is an affirmative action/equal opportunity employer and
we invite and encourage applications from women and minorities.

• Prev: MFCS 2000 - Submission Deadline Approaching
• Next: cfp: ICFP wkshp on Program Generation
• Index(es):
  • Main
  • Thread