> Markdown version of [/jobs/ext/15942-senior-software-engineer](https://www.wearedevelopers.com/jobs/ext/15942-senior-software-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Senior Software Engineer - **Company:** GitHub - **Location:** AMSTERDAM, Netherlands (Remote available) - **Experience:** Expert - **Contract:** Permanent contract - **Skills:** C (Programming Language), Java (Programming Language), JavaScript (Programming Language), C Sharp (Programming Language), C++ (Programming Language), Static Program Analysis, Compilers, Computer Engineering, Constraint Logic Programming, Database Queries, Query Languages, Software Debugging, Programming Tools, Dynamic Program Analysis, Github, Python (Programming Language), Machine Learning, Open Source Technology, Parsing, Program Analysis, Prolog, Ruby, Kusto Query Language, Secure Coding, Software Engineering, SQL Databases, TypeScript, Software Vulnerability Management, Rust (Programming Language), Large Language Models, Software Security, Information Technology, Vulnerability Analysis, Golang, Programming Languages - **Published:** May 17, 2026 - **Apply:** https://nl.indeed.com/viewjob?jk=db4efb5f916832d4 ## About the Role Do you have experience in TypeScript?, Do you have a Master's degree?, * 6+ years experience in Software Engineering, Computer Science, or related 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, Ruby, Rust, or Python. + OR Associate's Degree in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or related field AND 5+ years experience in Software Engineering, Computer Science, or related 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, Ruby, Rust, or Python. + OR Bachelor's Degree in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or related field AND 4+ years experience in Software Engineering, Computer Science, or related 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, Ruby, Rust, or Python + OR Master's Degree in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or related field AND 2+ years experience in Software Engineering, Computer Science, or related 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, Ruby, Rust, or Python. + OR Doctorate in Computer Science, Electrical Engineering, Electronics Engineering, Math, Physics, Computer Engineering, or related field. + OR equivalent experience. * 3+ years of experience with one or more of the following areas: * + Software security, including static analysis, dynamic analysis, software supply chain security, and best practices in creating high-quality, secure code. + OR Experience building developer tools that operate on source code, such as compilers, parsers, linters, static analyzers, debuggers, CLI tools, or IDE extensions. + OR Machine learning and AI applied to understanding source code, specifically building systems that use large language models (LLMs) to generate or reason about code, 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-sound experiments to measure performance and quality, 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 security research, demonstrated by a history of identifying, analyzing, and disclosing vulnerabilities in open-source projects. Comprehensive understanding of security best practices, attack vectors, and the vulnerability management lifecycle from discovery to remediation and disclosure. GitHub Leadership Principles: GitHub values * Customer-obsessed * Ship to learn * Growth mindset * Own the outcome * Better together * Diverse and inclusive Manager fundamentals * Model * Coach * Care Leadership principles * Create clarity * Generate energy * Deliver success ## Description (part of Microsoft) 4.04.0 out of 5 stars Remote Full-time, We are looking for a Senior Software Engineer to join one of the distributed software engineering teams responsible for building and expanding code analysis engines and agents at GitHub. 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: * Code analysis: Maintaining detection support for multiple programming languages, including: + building source code extractors that translate code written in each language into data that CodeQL can understand, keeping up with the latest version of each supported language + writing and maintaining queries in the CodeQL query language that accurately detect security vulnerabilities and undesirable coding patterns + building analysis libraries in the CodeQL query language that reason precisely about the semantics of programming languages, supporting the development of queries across all 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 within the CodeQL CLI. Expanding the expressive power of the CodeQL query language and speeding up the performance of the underlying query engine, empowering other teams to write high-quality 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 code scanning product, to influence product direction and deliver features to users, with clear focus on quality, reliability, and user experience. You will engage with internal users and external users (both from enterprise customers and the open-source community) to help them succeed with the product. You'll influence and provide feedback on the organizational culture and processes, always looking for opportunities to improve in a continuous pursuit of excellence. ## About GitHub GitHub is **_where people build software_**. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. **Tech Stack:** Ruby, Ruby on Rails **Industries:** Enterprise Software, Platform [Company profile](https://www.wearedevelopers.com/companies/3968-github) ### More Jobs at GitHub - [Senior Software Engineer,Billing](https://www.wearedevelopers.com/jobs/ext/1991843-senior-software-engineer-billing) - [Staff Developer Advocate, GitHub Security Lab](https://www.wearedevelopers.com/jobs/ext/1921051-staff-developer-advocate-github-security-lab) - [Cloud Foundations Team](https://www.wearedevelopers.com/jobs/ext/1483289-cloud-foundations-team) - [Principal Software Engineer, Identity](https://www.wearedevelopers.com/jobs/ext/1469181-principal-software-engineer-identity) - [Principal Software Engineer, Database Infrastructure](https://www.wearedevelopers.com/jobs/ext/1465908-principal-software-engineer-database-infrastructure) ## Related Videos - [Coffee with Developers: David Heinemeier Hansson](https://www.wearedevelopers.com/videos/875-coffee-with-developers-david-heinemeier-hansson) - [Go with the Flow: Stop the Leaks Before Your Memory's a Waterfall!](https://www.wearedevelopers.com/videos/100073-go-with-the-flow-stop-the-leaks-before-your-memory-s-a-waterfall) - [Coffee With Developers - Kyle Daigle, COO of GitHub](https://www.wearedevelopers.com/videos/910-coffee-with-developers-kyle-daigle-coo-of-github) - [Fireside Chat with Werner Vogels, VP & CTO, Amazon.com & Daniel Gebler, CTO at Picnic](https://www.wearedevelopers.com/videos/1405-fireside-chat-with-werner-vogels-vp-cto-amazon-com-daniel-gebler-cto-at-picnic) - [GitHub Next and the Future of Coding - Idan Gazit](https://www.wearedevelopers.com/videos/1903-github-next-and-the-future-of-coding-idan-gazit) - [Retooling and refactoring - an investment in people.](https://www.wearedevelopers.com/videos/371-retooling-and-refactoring-an-investment-in-people) ## Related Articles - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline) - [4 reasons to start or update your GitHub profile](https://www.wearedevelopers.com/magazine/45-4-reasons-to-start-or-update-your-github-profile) - [What’s the Difference between a Junior, Mid, and Senior Developer?](https://www.wearedevelopers.com/magazine/238-what-s-the-difference-between-a-junior-mid-and-senior-developer) - [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers) - [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs) - [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)