

Share
Responsibilities
● Integrate analysis tools with engineering workflows, to enable code reasoning to meet engineers where they are.
● Evaluate and improve the efficacy and efficiency of open source and in-house analysis tools. ● Work cross-functionally with other Engineering, Product Management, Support, Sales teams as well as Customers
● Develop functional specifications and design documents by collaborating with stakeholders
● Write high quality, well documented, and well-tested code
● Participate in code and design reviews
Minimum Qualification
● BSc in Computer Science or related academic or industrial experience
● Computer Science Fundamentals: Practical algorithms and data structures; Big-O complexity analysis; OS/Unix concepts, tools, and techniques; parallel and concurrent programming
● Experience in Programming Language technologies, such as build systems, compilers, formal methods, or static or dynamic program analysis
● Knowledge of security attacks and defenses
● Experience developing in tools and software in GoLang, Rust, C/C++ or similar languages
Preferred Qualifications
● Experience of clouds (AWS, GCP, AZURE), Kubernetes, Infrastructure as Code
● Devops experience, CICD, source code management systems (e.g., GitHub, GitLab, Bitbucket
These jobs might be a good fit

Share
To apply you don’t need prior industry experience with these technologies: the main requirements are ability to program, as well as a desire to learn and contribute to a fast-paced engineering team making products used by thousands of programmers. This is a unique and rare opportunity to get in on the ground floor of an effort to secure customers’ code in the cloud(s).
Responsibilities
● Integrate analysis tools with engineering workflows, to enable code reasoning to meet engineers where they are.
● Evaluate and improve the efficacy and efficiency of open source and in-house analysis tools.
● Work cross-functionally with other Engineering, Product Management, Support, Sales teams as well as Customers
● Develop functional specifications and design documents by collaborating with stakeholders
● Write high quality, well documented, and well-tested code
● Participate in code and design reviews
Minimum Qualification
● BSc in Computer Science or related academic or industrial experience
● Computer Science Fundamentals: Practical algorithms and data structures; Big-O complexity analysis; OS/Unix concepts, tools, and techniques; parallel and concurrent programming.
Preferred Qualifications
● Experience in Programming Language technologies, such as build systems, compilers, formal methods, or static or dynamic program analysis
● Knowledge of security attacks and defenses
● Experience of clouds (AWS, GCP, AZURE), Kubernetes, Infrastructure as Code
● Devops experience, CICD, source code management systems (e.g., GitHub, GitLab, Bitbucket)
These jobs might be a good fit

Share
The Analysis roles involve Programming Language technologies, such as build systems, compilers, formal methods, or static or dynamic program analysis. You should have prior industry experience with the technologies: the main requirements are ability to program, as well as a desire to learn and contribute to a fast-paced engineering team making products used by thousands of programmers.
Responsibilities
● Integrate analysis tools with engineering workflows, to enable code reasoning to meet engineers where they are.
● Evaluate and improve the efficacy and efficiency of open source and in-house analysis tools.
● Work cross-functionally with other Engineering, Product Management, Support, Sales teams as well as Customers
● Develop functional specifications and design documents by collaborating with stakeholders
● Write high quality, well documented, and well-tested code
● Participate in code and design reviews
Minimum Qualification
● BSc in Computer Science or related academic or industrial experience
● Computer Science Fundamentals: Practical algorithms and data structures; Big-O complexity analysis; OS/Unix concepts, tools, and techniques; parallel and concurrent programming
● Experience in Programming Language technologies, such as build systems, compilers, formal methods, or static or dynamic program analysis
● Knowledge of security attacks and defenses
● Experience developing in tools and software in GoLang, Rust, C/C++ or similar languages
Preferred Qualifications
● Experience of clouds (AWS, GCP, AZURE), Kubernetes, Infrastructure as Code
● Devops experience, CICD, source code management systems (e.g., GitHub, GitLab, Bitbucket
These jobs might be a good fit

Share
Responsibilities
● Integrate analysis tools with engineering workflows, to enable code reasoning to meet engineers where they are.
● Evaluate and improve the efficacy and efficiency of open source and in-house analysis tools. ● Work cross-functionally with other Engineering, Product Management, Support, Sales teams as well as Customers
● Develop functional specifications and design documents by collaborating with stakeholders
● Write high quality, well documented, and well-tested code
● Participate in code and design reviews
Minimum Qualification
● BSc in Computer Science or related academic or industrial experience
● Computer Science Fundamentals: Practical algorithms and data structures; Big-O complexity analysis; OS/Unix concepts, tools, and techniques; parallel and concurrent programming
● Experience in Programming Language technologies, such as build systems, compilers, formal methods, or static or dynamic program analysis
● Knowledge of security attacks and defenses
● Experience developing in tools and software in GoLang, Rust, C/C++ or similar languages
Preferred Qualifications
● Experience of clouds (AWS, GCP, AZURE), Kubernetes, Infrastructure as Code
● Devops experience, CICD, source code management systems (e.g., GitHub, GitLab, Bitbucket
These jobs might be a good fit