Principal Software Engineer

Job Description

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.