Sr Programmer – Compilers

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 with competitive pay. in confidence by emailing resume with a cover letter to careers@sraoss.com.