Senior Software Security Researcher
Mainstay Information Solutions - Pittsburgh, PA

This job posting is no longer available on Mainstay Information Solutions. Find similar jobs: Senior Software Security Researcher jobs - Mainstay Information Solutions jobs

Job Description Description
We are staffing a small team that is responsible for developing secure coding practices, techniques, and tools. We work with software developers and software development organizations to eliminate vulnerabilities resulting from coding errors before they are deployed. The individual in this position will be responsible for developing analyzable secure coding rules for C, C++, Java, and other programming languages. The individual will be researching and developing advanced software static and dynamic analysis techniques and methods for mobile platforms including Android. The individual will work directly with customers to: develop and provide training in secure coding practices, develop source code analysis, and enhance and extend organizational capabilities to produce secure software systems.

Qualifications Qualifications
Minimum:
  • Education: PhD in Computer Science or Software Engineering with five (5) years applicable experience.
  • Experience: Candidates should have at least five (5) years of experience in developing Java software analysis techniques in one or more of the following areas; static analysis; dynamic analysis; data flow analysis; compiler development, including understanding the impact of optimization techniques on security issues; knowledge of analysis techniques that may be useful in security analysis but might not have been applied to security yet; computer architecture, including understanding the impact of security techniques on application and system performance for various architectures.
  • Skills: Successful candidates will: ability to develop and implement advanced analysis techniques; be expert in Java and have extensive knowledge of the second language; be expert in Android platform development; interact effectively with customers and teammates; have strong written and verbal communications skills; take a leadership role in technical projects.
  • Physical Mobility: Primarily sedentary in an office setting with some mobility. Ability to travel to various locations within the community, customer sites, conferences, and offsite meetings with some frequency.
  • Environmental Conditions: Normal office conditions; however, close contact with computer for prolonged periods of time.
  • Mental: The ability to work well under pressure of deadlines and with confidential information.
  • Other: Candidate must have the ability to successfully complete a background investigation.

Preferred:
  • Education: PhD in Computer Science or Software Engineering with five (5) years applicable experience.
  • Experience: Ideal candidates will have experience in the following areas: model checking; abstract interpretation; use of assertions in program code; using mathematical techniques such as denotational semantics, axiomatic semantics, operational semantics, and abstract interpretation.
  • Skills: Preferred candidates will: possess excellent technical problem-solving skills; learn quickly and have a history of producing creative and innovative solutions; be motivated to tackle challenging problems.

Additional Information All your information will be kept confidential according to EEO guidelines.

Mainstay Information Solutions - 19 months ago - save job - block
Recommended Jobs
Software Engineer: Senior Staff
General Dynamics C4 Systems - Pittsburgh, PA
General Dynamics C4 Systems - 10 days ago

Software Engineer: Senior
General Dynamics C4 Systems - Pittsburgh, PA
General Dynamics C4 Systems - 30+ days ago

Senior Systems Engineer
General Dynamics C4 Systems - Pittsburgh, PA
General Dynamics C4 Systems - 30+ days ago