EXPIRED
Research Scientist
🇺🇸
Chantilly, VA, USA
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.
C++Haskell