Post-doc Positions Available at Stevens 
Author Message
 Post-doc Positions Available at Stevens

We apologize if you have received multiple copies of this message.

----------------------------------------------------------------------

http://www.*-*-*.com/

                   Post-Doct{*filter*}Positions Available
                    Laboratory for Secure Systems
                    Department of Computer Science
                   Stevens Institute of Technology

The Laboratory for Secure Systems at the Computer Science Department of
Stevens Institute of Technology invites applications for Post-doct{*filter*}
positions.

The Lab has been recently created, and its mission is to pioneer new
technologies for high-assurance and secure systems and prototype tools
that can provide guarantees that a system will not exhibit
unpredictable behavior in a hostile environment. Our objective is to
consolidate and organize research already under way at Stevens.

We are taking several approaches to language-based tools for
high-assurance, secure systems.  Language-based automated analysis can
be used to check components during development and also at the point
of deployment.  Such analyses can complement trust-based approaches to
security of mobile components and enhance performance by reducing
overhead of run-time checking. Language-based tools fit the
programming environments of professional practice, along side other
tools like test-generators and performance profilers.  Type-based
analyses can prevent leakage of privileged data even with dynamic
linking and replacement of libraries at run-time.  New abstractions
are being developed for fault-tolerant computation in wide area
networks.  Verification techniques can check correctness of
implementations of security protocols.

Much interest already exists in furthering the technologies, as
demonstrated by collaborations of the faculty amongst themselves, with
other academic institutions (e.g., with the Secure Internet Programming
Laboratory at Princeton, with the FLINT project at Yale, with the
University of Edinburgh), and with industrial partners (e.g., Lucent
Technologies).  Our work has current funding from industrial partners,
through multiple grants from the National Science Foundation and the
New Jersey Commission of Science and Technology.

Successful applicants will be enthusiastic team players with a strong
commitment to academic excellence. A PhD in Computer Science or
Applied Mathematics or equivalent education is required. Preference
will be given to applicants with experience in at least one of the
following areas:

   *Type theory
   *Static program analysis
   *Formal verification
   *Semantics of programming languages
   *Higher-order programming languages
   *Implementation of programming languages

Post-docs will participate in state of the art research in
collaboration with other members of the Lab; they will produce
technical reports to document their findings, and participate in
building proof of concept software systems to experiment with research
advances.

The positions are initially for two years, renewable for a third year
upon performance and availability of funds. Positions are expected to
start with the new academic year in September 2001, but the starting
date is flexible.

Applicants should send a CV, a statement of research interests, and
arrange for three letters of recommendation to be sent to:

 Adriana Compagnoni
 Department of Computer Science
 Stevens Institute of Technology
 Castle Point on Hudson
 Hoboken, NJ 07030
 U. S. A.

For more information contact




Stevens Institute of Technology is an Equal Opportunity Employer.

Laboratory for Secure Systems
( http://www.*-*-*.com/ )
Computer Science Department
( http://www.*-*-*.com/ )

 LocalWords:  http www SecureSystems JoinUs htm docs initially CV dduggan
 LocalWords:  Naumann



Wed, 31 Dec 2003 06:56:39 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. funded post-doc position available

2. post-doc position available

3. Army Research Laboratory Post Doc Position Available

4. Post Doc Position Available

5. Post Doc position in persistent and distributed objects

6. Looking for post doc position

7. Post Doc position in persistent and distributed objects

8. Visiting scientist (post-doc) positions

9. Post.doc position in HW/SW Codesign

10. post doc position, Crete, Greece

11. Visiting scientist (Post-Doc) positions

 

 
Powered by phpBB® Forum Software