We are looking for someone familiar with compilers (particularly dataflow analysis or other forms of static analysis) to work on projects developing techniques for automatically repairing source code to remove certain common classes of vulnerabilities.
Software vulnerabilities constitute a major threat to many of our nation’s critical systems. The SEI is currently looking at improving software analysis and code repair technologies to eliminate security vulnerabilities much faster and at a much lower cost than current manual repair capabilities. We are improving the technologies by developing new techniques for analyzing and transforming code, in source code and intermediate representations.
The successful candidate will both work on advanced research projects and work directly with customers to help transition our research into practice. Candidates will be subject to a background check and must be eligible to obtain and maintain a Department of Defense security clearance.
Apply online at: https://www.appone.com/MainInfoReq.asp?R_ID=1598504&B_ID=44&...