Are you fascinated by program analysis, especially of large and complex code bases? Do you know one or more programming languages inside out? Are you familiar with compiler internals, or the murky corners of the language specification? Would you like to help us secure the software that runs the world?
As a program analysis/research engineer, you would be part of a team of code analysis and compiler experts working to redefine what’s possible through static analysis. You’ll use Semmle QL to develop sophisticated analyses for security and code quality issues, and make sure the latest and greatest versions of a programming language are fully supported. You’ll collaborate with the Semmle Security Research team, and with Semmle’s customers, on creating the best analysis libraries possible. Much of your work would be out in the open, and would directly benefit tens of thousands of open-source projects via LGTM.com.
The main thing we look for in candidates is intelligence and the ability to learn, and thus we are interested in talking to people at any point in their career. For this role, you should be able to demonstrate an interest in programming languages, program analysis or information security. On top of this, familiarity with any of the following would be desirable, but not essential:
- Open-source software development
- Program analysis
- Programming language design
- Compiler construction
- Logic/declarative/functional programming
- Abstract interpretation
- Formal verification
Semmle secures the software that runs the world. Google, Microsoft, NASA, NASDAQ, Credit Suisse, Capital One and many others rely on Semmle’s products to produce more trustworthy and reliable code. Our technology treats code as data: complex inter-procedural analyses can be expressed as concise queries in a declarative query language. This is particularly useful for variant analysis: finding all instances of a logical mistake that led to a known vulnerability.
We offer intellectually stimulating work, competitive salaries, and a relaxed work environment in Oxford, Valencia, Copenhagen, New York, San Francisco or Seattle.
How do you apply?
Semmle aims to hire outstanding people who have a diversity of perspectives, ideas and cultures. We actively support diversity and inclusion in the workplace and are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, gender identity, age, citizenship, marital status or disability status.
Please send your CV, and a short motivation to Pavel Avgustinov at email@example.com.
We encourage applicants to let us know of any accessibility requirements, so that we may provide the best possible support during the application process and your time at Semmle.
We do not accept unsolicited agency applications.