Overview
Research scientist role developing novel static analysis tools to discover software vulnerabilities. Requires expertise in type systems or model checking, and experience with functional languages. TS clearance eligibility needed.
Key Information
- Locations
-
Chantilly, VA, USA
🇺🇸 - Remote Friendly
- No
- Categories
-
C++ Haskell