Job Description
Location: San Jose, California
Requirements/Qualification
Minimum Qualification – MS Good understanding of static analysis techniques and experience with implementing them. Target languages for such techniques include C and Java bytecode, and some basic static analysis techniques include those for control/data flow analysis. Good understanding of static analysis techniques and experience with implementing them. Target languages for such techniques include C and Java bytecode, and some basic static analysis techniques include those for control/data flow analysis. Experience with OS level programming, especially for language runtime tools such as linkers, loaders, and compilers. Experience with software security bugs and scripting languages a plus. Experience with building model checkers or theorem provers a plus. Salary
We offer an attractive compensation package for the right candidate...
Apply for this Position
Ready to join SRA OSS Inc.? Click the button below to submit your application.
Submit Application