{"schemaVersion":"jobsearcher.job.v1","id":"34d069f2d11d0930bc31ecfa","url":"https://jobsearcher.com/jobs/34d069f2d11d0930bc31ecfa","canonicalUrl":"https://jobsearcher.com/jobs/34d069f2d11d0930bc31ecfa","title":"Sr Programmer – Compilers","description":"Location: San Jose, California\nRequirements/Qualification\nMinimum Qualification – MS\nGood 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.\nGood 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.\nExperience with OS level programming, especially for language runtime tools such as linkers, loaders, and compilers.\nExperience with software security bugs and scripting languages a plus.\nExperience with building model checkers or theorem provers a plus.\nSalary\nWe offer an attractive compensation package for the right candidate with competitive pay.\nin confidence by emailing resume with a cover letter to careers@sraoss.com.","company":"Sra Oss","rawCompany":"sra oss","city":"San Jose","state":"CA","isRemote":false,"isActive":false,"createdAt":"2026-07-15T10:17:01.588Z","occupations":[{"code":"15-1251.00","title":"Computer Programmers","slug":"computer-programmers"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1253.00","title":"Software Quality Assurance Analysts and Testers","slug":"software-quality-assurance-analysts-and-testers"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Sr Programmer – Compilers","description":"Location: San Jose, California\nRequirements/Qualification\nMinimum Qualification – MS\nGood 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.\nGood 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.\nExperience with OS level programming, especially for language runtime tools such as linkers, loaders, and compilers.\nExperience with software security bugs and scripting languages a plus.\nExperience with building model checkers or theorem provers a plus.\nSalary\nWe offer an attractive compensation package for the right candidate with competitive pay.\nin confidence by emailing resume with a cover letter to careers@sraoss.com.","datePosted":"2026-07-15T10:17:01.588Z","dateModified":"2026-07-15T10:17:01.588Z","hiringOrganization":{"@type":"Organization","name":"Sra Oss","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"San Jose","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"34d069f2d11d0930bc31ecfa"},"url":"https://jobsearcher.com/jobs/34d069f2d11d0930bc31ecfa"}}