[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[ Applications from candidates with research interests in type
   systems are particularly welcome.]

Doctoral and Post-Doctoral Positions Available
Secure Software Systems Laboratory
Department of Computer Science
Purdue Univeristy

The Purdue University S3 Laboratory invites applications for Doctoral
Student and Post-doctoral Fellow positions. The S3 Lab was created in  
to foster systems and programming language research. It is run  
jointly by
Patrick Eugster, Tony Hosking, Suresh Jagannathan, and Jan Vitek. We
investigate the application of static and dynamic program analyses to
object-oriented, functional, and real-time programs for the purposes of
optimization and validation of correctness and security properties.  
We also
develop open source software in the areas of mobile and untrusted
computation, embedded systems, concurrent and distributed systems, and
persistent programming.  Our active research directions include
software transactions, intrusion detection, ownership types, real-time
Java, aspect-oriented programming, semantics of concurrency control,
and static program analysis.

Our work has current funding from the National Science Foundation,  
Microsoft Research, Cisco, NEC, and Intel.  The lab has close ties with
industrial research labs at Motorola, Sun, IBM and Intel. We have a long
history of placing students at those labs.  We also collaborate with
researchers across the US, Europe, and Asia.

Applicants are expected to take part in the research and social life  
of the
lab, interact with students and work closely with faculty. Presently,  
lab has 12 graduate students, two Post-docs, and several  
undergraduates. We
expect to hire up to four new graduate students and two additional
post-docs.  For post-doctoral positions a PhD in Computer Science is
required, for doctoral students research experience is desirable.  
will be given to applicants with experience in one of the following  

* Runtime Systems and Virtual Machines
* Programming Language Implementation
* Program Analysis and Formal Verification
* Type Systems & Language Semantics
* Real-time and Embedded Systems

Applicants should send a CV, a statement of research interests, and  
the name
of three references who may be contacted for letters of recommendation.
Application material and inquiries should be sent to either one of:

-  Suresh Jagannathan, [EMAIL PROTECTED]
-  Tony Hosking, [EMAIL PROTECTED]

Purdue is an Equal Opportunity Employer.

Purdue University, the largest land-grant college of Indiana, has  
international recognition in the areas of engineering, and science.  The
West Lafayette campus of Purdue enrolls about 38,000 students. Purdue
University is located in West Lafayette, Indiana, which lies on the  
banks of
the Wabash River. Lafayette can be reached by car from Indianapolis  
in one
hour and from downtown Chicago in two hours. The larger Lafayette-West
Lafayette area (population 130,000) has shopping malls, restaurants  
of note,
two hospitals, two large municipal parks, and five golf courses.

The Department of Computer Science at Purdue University, West
Lafayette, was formed in 1962 and is recognized as one of the top  
science programs in the country. The department offers the degrees
of Bachelor of Science, Master of Science, and Ph.D. in Computer  
Currently, we have about 750 undergraduate majors and 180 graduate
students working towards degrees. 

Reply via email to