Semmle is an Oxford-based company recruiting for the roles below. Everyone at Semmle is involved in direct customer interaction, and all roles involve travel to work on-site with clients in the USA, India, Japan, Scandinavia, Belgium, Germany, France and Switzerland.

To apply, send a letter explaining why you’re a good fit for a particular role to recruit@semmle.com, and enclose a copy of your CV. Any queries can be directed to Oege de Moor at oege@semmle.com.

[Feel free to contact me, Fritz Henglein, if you would like to hear more about Oege or his research, part of which has gone into Semmle. Please note, however, that I have no involvement in Semmle. FH]

UI designer and programmer (1 opening):

You have exquisite graphical taste, and you have a proven record in designing engaging, playful UIs. Hans Rosling is your hero, and you have an avid interest in designing new insightful visualisations. You can create great designs, and you have the communication skills to discuss these designs not only with your technical peers, but also with clients. Your task is to create a UI for interactively exploring metrics in ODASA, for instance based on the Google gadgets API.

Analysis engineers (Java, C#, C, C++) (2 openings):

You are deeply familiar with the dark corners of one or more of these languages, and you care deeply about writing good code. You also know the foundations of static analysis. Your task is to maintain existing checkers (written using Semmle’s .QL query language), and to implement new checkers. You like trying your creations on open source projects, finding new
bugs and reporting them to these projects. You are proficient at writing clear documentation, and at handling customer support queries about the analyses that are your responsibility.

Frontend engineers (2 openings):

You are an expert in compiler frontend technology; parser generators, lexers, and attribute grammars are bread and butter to you. Your task is to create new support for the analysis of artefacts and programming languages that are not yet supported by ODASA: that means converting the AST, name bindings and type structures to a relational representation,
suitable for querying with Semmle’s .QL query language. You will work directly with clients at some of the world’s largest software organisations to test your implementations.

Test automation platform engineer (1 opening):

You are handy with all forms of scripting, and you are familiar with testing frameworks such as JUnit. You are passionate about automating all forms of testing. Your task is to work on the automated test platform at Semmle, maintaining and creating tests for all code, including the integration of ODASA with a large variety of version management systems, issue trackers, and so on.

IDE engineer (1 opening):

You are familiar with integrating new functionality into Eclipse and into Visual Studio. You have a proven track record of creating such plugins that seamlessly blend into the existing UI, and which are for the most part self-explanatory. Your short-term task is to integrate the ODASA analyses into Eclipse and VS, including appropriate visualisations of metrics, including a comparison to previous analysis results held on a server. Longer term, your primary task is to design and implement an IDE for the query language .QL that runs in the browser.

Documentation author (1 opening):

You love explaining complex technical ideas in the simplest possible way. You have a deep technical background, understanding code in at least Java, C, C++, and C#. You’re good at using diagrams to help explain new concepts. Where your explanations point the way to improving the product design, you’re able to communicate those ideas to the engineering team. You are equally happy talking to customers about areas that need to be clarified or simplified.

Data scientist (1 opening):

You are an expert statistician, knowing the ins and outs of support vector machines, Gaussian processes and related maths. Your task is to create and maintain the data mining engine in ODASA, which automatically spots correlations between different metrics. Apart from developing the necessary statistical techniques, you’re happy to provide robust
implementations and to perform rigorous experiments.