Principal Software Engineer

What the role offers:

• Design and implement static analysis algorithms based on recent relevant computer science research and literature.
• Develop new analysis features and add support for new languages and language features.
• Apply recent research developments from computer science literature where we can benefit from upgrading our algorithms and program representations.
• Write specifications for features as they are implemented.
• Analyse the quality of security finding results and product performance characteristics.
• Maintain the Fortify Static Code Analyzer code base using good software engineering practices.
• Collaborate with a project team of other software engineers, security researchers, and quality engineers, to develop reliable, cost-effective, and high-quality solutions.

What you need to Succeed:

• Master's degree or Ph.D. (preferred) in Computer Science or equivalent, with emphasis on programming languages, static program analysis, compilers, or software security.
• 8+ years of solid enterprise C/C++/Java backend engineering skills
• Excellent written and verbal communication skills; Ability to effectively communicate design proposals and specifications.
• Qualified candidates have prior expertise in or knowledge of one or more of the following areas:
• Background in knowledge of compiler internals, static code analysis algorithms (abstract interpretation, dataflow, higher order analysis, buffer analysis, shape analysis, separation logic, context-insensitive incremental analysis).
• Background in Compiler construction (frontends, IR, type inference, program transformations) in one or more programming languages
• Background in the software security domain Desirable skills:
• Programming skills in additional coding languages and frameworks and desire to learn new programming languages
• Compiler tools (LLVM, MLIR, Rust HIR/MIR, Eclipse JDT, etc.)
• Experience with software systems running on multiple platform types.
• Strong analytical and problem-solving skills.
• Familiarity with agile development methodologies

One last thing:

• You are persistent and inquisitive. You have to understand why things are happening the way they are.
• You are determined to understand cyber attack techniques at a very detailed level.
• You are a self-starter who is able to work with minimal management, however have strong collaboration and interpersonal skills to work together with several other professionals from other information security fields.
• Youre a creative thinker who wants to answer the question, Why
• Your workstation is a pyramid of monitors that you can't take your eyes off of at the risk of missing something.
• You have a desire to learn new technologies.
• Your sense of humor, passion and enthusiasm shines through in everything you do.

Role: Technical Architect

Industry Type: IT Services & Consulting

Department: Engineering - Software & QA

Employment Type:

Role Category:

Education

UG:

PG: