post-doc Positions:

Over Fall 2007 we have 1-2 positions opening for post-doc in the following specific areas:

(This is not a complete set and we are always open to applications for interesting related areas)

• OS Robustness/Security Hardening; Threat Modeling of OS/SW

• Distributed/Networked Protocols: Dependable Mobile Computing; Security; Power ...

• SW Development and Testing (Verification & Validation)