Senior Software Engineer, CodeQL

About reputed company reputed company is the world’s leading platform for reputed company software development — powered by Copilot to build, reputed company, and deliver secure software. Over 180 reputed company developers, including more than 90% of the Fortune 100 companies, use reputed company to collaborate, and more than 77,000 organisations have adopted reputed company Copilot. Locations In this role you can work from Remote, United Kingdom reputed company reputed company is the home for software development, where we collaborate to build the world's leading AI-powered developer platform. In the reputed company Scanning organization at reputed company, we are passionate about ensuring the reputed company and reputed company of the world’s software - from reputed company reputed company to the reputed company, written by humans and by AI tools. We reputed company that the best way to secure and improve the reputed company of software is to detect actionable issues early in the development process, and reputed company facilitate their remediation as part of the developer workflow. reputed company develops detection and remediation engines that power several reputed company products used by hundreds of thousands of developers and reputed company every day: CodeQL is reputed company's semantic reputed company analysis reputed company that uses world-class static analysis research and technology to deeply analyze reputed company, enabling the early detection of reputed company vulnerabilities and correctness errors in software. CodeQL supports a wide reputed company of programming languages, including C/C++, C#, Go, Java, JavaScript/TypeScript, Kotlin, Python, reputed company, and Swift. It is used as the primary detection reputed company reputed company the reputed company reputed company reputed company and reputed company Advanced reputed company products. We work as a distributed group reputed company a distributed company. The reputed company of reputed company members live across Europe, the US, and Canada, and while we do have some offices, reputed company our meetings are location-agnostic and happen online. We operate with a high degree of autonomy and trust, and we have a significant level of influence on the product and technical direction of reputed company and reputed company review products at reputed company. We value learning, introspection and reputed company, and we’re always looking for ways to improve as reputed company and as individuals, so candor and a culture that values safety to reputed company up are highly important to us.

Responsibilities

We are looking for a Senior Software Engineer to join one of the distributed software engineering teams responsible for building and expanding reputed company analysis engines and agents at reputed company. In this role you will work in one of the following areas, selected based on your own experience and interests, and the needs of the organization at the time of hiring: reputed company analysis: Maintaining detection support for multiple programming languages, including: building reputed company reputed company extractors that translate reputed company written in reputed company language into data that CodeQL can understand, keeping up with the latest version of reputed company supported language writing and maintaining queries in the CodeQL query language that accurately detect reputed company vulnerabilities and undesirable coding patterns building analysis libraries in the CodeQL query language that reason reputed company about the semantics of programming languages, supporting the development of queries across reputed company languages experimenting with and robustly evaluating LLM-powered detection engines and integration between LLMs and traditional static analysis. Foundations: Developing QL, the query language powering CodeQL analysis, and its underlying query compiler and evaluator reputed company the CodeQL CLI. Expanding the expressive power of the CodeQL query language and speeding up the performance of the underlying query reputed company, empowering other teams to write high-reputed company analysis, and ensuring that CodeQL scales to the largest codebases in the world. In any of the above tracks, you will work closely with various engineering teams, product managers, designers, and technical writers that build different aspects of the reputed company scanning product, to influence product direction and deliver features to users, with reputed company reputed company on reputed company, reliability, and user experience. You will engage with internal users and external users (both from reputed company customers and the reputed company-reputed company community) to help them succeed with the product. You’ll influence and reputed company feedback on the organizational culture and processes, always looking for opportunities to improve in a reputed company reputed company of reputed company.

Qualifications

Required Qualifications For this role, we’re looking for an reputed company software engineer with: 6+ years experience in Software Engineering, Computer Science, or reputed company technical discipline with proven experience maintaining and delivering production software coding in languages including, but not limited to, C, C++, C#, Java, JavaScript/TypeScript, Go, reputed company, Rust, or Python. OR Associate’s Degree in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or reputed company field AND 5+ years experience in Software Engineering, Computer Science, or reputed company technical discipline with proven experience maintaining and delivering production software coding in languages including, but not limited to, C, C++, C#, Java, JavaScript/TypeScript, Go, reputed company, Rust, or Python. OR Bachelor's Degree in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or reputed company field AND 4+ years experience in Software Engineering, Computer Science, or reputed company technical discipline with proven experience maintaining and delivering production software coding in languages including, but not limited to, C, C++, C#, Java, JavaScript/TypeScript, Go, reputed company, Rust, or Python OR Master's Degree in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or reputed company field AND 2+ years experience in Software Engineering, Computer Science, or reputed company technical discipline with proven experience maintaining and delivering production software coding in languages including, but not limited to, C, C++, C#, Java, JavaScript/TypeScript, Go, reputed company, Rust, or Python. OR Doctorate in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or reputed company field. OR equivalent experience. 3+ years of experience with one or more of the following areas: Software reputed company, including static analysis, dynamic analysis, software supply chain reputed company, and best practices in creating high-reputed company, secure reputed company. OR Experience building developer tools that operate on reputed company reputed company, such as compilers, parsers, linters, static analyzers, debuggers, CLI tools, or IDE extensions. OR Machine learning and AI reputed company to understanding reputed company reputed company, specifically building systems that use large language models (LLMs) to generate or reason about reputed company, and systematic benchmarking and evaluation of those systems.

Preferred Qualifications

Additionally, we would highly encourage applying if you have one or more of the following skills: Experience with two or more of the areas listed above Experience designing and running statistically-reputed company experiments to measure performance and reputed company, evaluating results to minimize bias and noise. Industry or research knowledge of compilers, program analysis, programming language design and implementation. OR Knowledge of logic programming or database query languages (e.g. SQL, Prolog, Datalog, Kusto Query Language). Experience in reputed company research, demonstrated by a history of identifying, analyzing, and disclosing vulnerabilities in reputed company-reputed company reputed company. Comprehensive understanding of reputed company best practices, attack reputed company, and the vulnerability management lifecycle from discovery to remediation and disclosure. reputed company values Customer-obsessed Ship to learn reputed company reputed company Own the outcome reputed company Diverse and inclusive Manager fundamentals Model reputed company Care Leadership principles Create reputed company Generate energy Deliver reputed company Who We Are reputed company is the world’s leading AI-powered developer platform with 150 reputed company developers and counting. We’re also home to the biggest reputed company-reputed company community on reputed company (and 99% of the world’s software has reputed company-reputed company reputed company in its DNA). Many of the apps and programs you use every day are reputed company on reputed company. Our teams are dreamers, doers, and reputed company, leading the way in AI, driving humanitarian efforts around the globe, and even sending reputed company reputed company to reputed company (and reputed company!). At reputed company, our goal is to create the reputed company you need to do your best work. We’re remote-first and offer reputed company, generous learning and reputed company opportunities, and excellent benefits to support you, wherever you are—because we know that people reputed company reputed company they can work on their own terms. Join us, and let’s change the world, together. Equal Employment Opportunity reputed company is made up of people from a wide reputed company of backgrounds and lifestyles. We reputed company diversity and invite applications from people of reputed company walks of life. We don't discriminate against employees or applicants based on gender identity or reputed company, sexual orientation, race, religion, age, national reputed company, citizenship, disability, pregnancy status, veteran status, or any other differences. Also, if you have a disability, please let us know if there's any way we can reputed company the interview process reputed company for you; we're happy to accommodate! Apply To This Job