[TYPES] job openings at Purdue

[Suresh Jagannathan]

POST DOCTORAL and RESEARCH ASSISTANT POSITIONS in the
SECURE SOFTWARE SYSTEMS LABORATORY, PURDUE UNIVERSITY

The Secure Software Systems (S3) Laboratory, located in the Department 
of
Computer Sciences at Purdue University seeks qualified applicants for 
research
positions at both postdoctoral and graduate assistant levels.

The Secure Software Systems group has a research agenda spanning 
diverse areas
of programming languages and systems, including the application of 
static
program analysis, type systems, and run-time techniques to 
object-oriented, functional
and real-time programs, for the purpose of optimization and validation 
of
correctness and security properties,

The S3 Lab comprises three faculty members: Professors Suresh 
Jagannathan,
Antony Hosking and Jan Vitek, two postdoctoral fellows and 15 graduate
students.  Our research is supported by grants from NSF, DARPA, IBM, 
Sun, NEC,
Microsoft and Motorola.

      Information about the S^3 lab can be found on the Web at
      http://www.cs.purdue.edu/s3

Current projects include:

       TaX: Semantic foundations, compiler infrastructure, and runtime 
support
            for alternative concurrency models including transaction 
semantics
            for programming languages.

       Ovm: An open source framework for building customizable 
programming
            language runtime systems. The current emphasis is on a Java
            personality compliant with the Real-Time Specification for 
Java.

       Reassure: Software composition techniques for building trusted 
systems
           out of components, ownership in object-oriented languages to 
define
           lightweight protection, accountability in distributed systems 
based
           on cryptographic types.

       DaCapo: Dynamic co-operative performance optimization for Java.

The S3 Lab is affiliated with the Purdue Center for Education and 
Research in
Information Assurance and Security (CERIAS), one of the leading research
centers in areas of information security that are crucial to the 
protection of
critical computing and communication infrastructure.

     More information about CERIAS can be found on the Web at
     http://www.cerias.purdue.edu

Applicants at the postdoctoral level must have completed (or be about to
complete) a PhD degree.  Applicants for graduate assistantships should 
have a
Master's degree in computer science or equivalent demonstration of 
research
potential.  Preference will be given to applicants with background in 
one or
more of the following areas: programming language implementation 
(compilation,
optimization, and run-time systems), static analysis, formal semantics 
and/or
type systems.

Salaries will be commensurate to the candidate's experience. The target
starting date is 1 September 2004, or soon thereafter.  Questions about 
these
positions can be directed to Antony Hosking (hosking at cs.purdue.edu), 
Suresh
Jagannathan (suresh at cs.purdue.edu) or Jan Vitek (jv at cs.purdue.edu). 
Complete
applications must include full curriculum vitae and contact details for 
three
references, and be sent by e-mail to s3jobs at cs.purdue.edu.