Sr Programmer – Compilers
SRA OSS Inc.San Jose, Californiajob_description.job_card.30_days_ago
serp_jobs.job_preview.job_type
- serp_jobs.job_card.full_time
job_description.job_card.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 with competitive pay.
serp_jobs.job_alerts.create_a_job
Sr Programmer • San Jose, California