[TYPES/announce] Research Positions at Kestrel Institute
coglio at kestrel.edu
Wed Jan 9 01:46:07 EST 2013
Research Positions at Kestrel Institute
Kestrel Institute has several openings for computer science researchers
broad topics of formal methods, program verification, software
Areas that are of interest include:
- Tools and methods for producing software that is known/proved to be
- Developing high-level, rigorous specifications/models and validating
- Formalizing design and implementation knowledge (e.g., as libraries of
refinements and program transformations) and generating high-quality
that satisfies security and correctness properties
- Analyzing specifications, transformations, and code for security and
- Developing high-assurance plans and schedules
Candidates should have a strong background in computer science,
the Master's or Ph.D. level (or equivalent experience).
Experience with one or more of the following is desirable: formal logic,
provers, formal specification systems, formal verification, functional
programming languages, program transformation systems, or SAT/SMT solvers.
Candidates should have strong implementation skills and a willingness to
to new application domains. Domains that are currently of interest include
planning and scheduling, network operations, smart cards, Java analysis,
management, synthetic diversity, computer and network security, security and
communication protocols, embedded controllers, and malware detection.
Kestrel Institute is a non-profit research center. Our website,
describes our research. We offer competitive salaries and excellent
benefits. All of our researchers are offered opportunities to take on
leadership roles, if so inclined.
U.S. citizenship is a plus.
Resumes may be submitted by email, fax, or mail to:
Reference: Computer Scientist Position
3260 Hillview Ave.
Palo Alto, CA 94304
Email:careers at kestrel.edu
Principals only, and no phone calls please.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 3735 bytes
Desc: S/MIME Cryptographic Signature
More information about the Types-announce