About the Job

As a Senior Software Engineer for Program Analyses, you are responsible for developing and maintaining our world-class static program analyses in a team of highly professional experts. These analyses help our customers to identify bugs and other issues early in their development process, being part of the overall quality assurance for their software. Our world needs secure software that we can rely on, and we have the perfect tool to ensure this. Our international customers, including well-known names in the automotive, healthcare, automation, electronics, transport and aerospace industries, rely on our software analysis solutions to ensure that high standards of software quality and security are met. You will be improving these analyses, and you will be implementing new code checks, algorithms and data structures.

Job Responsibilities:

• Developing and maintaining our static program analyses
• Supporting customers in the application of these analyses
• Researching practical approaches to static program analysis

You:

• Have a diploma, master or PhD in computer science
• Want to write robust and maintainable code in C++ and Python, and you already have experience with these languages
• are self-organized and enjoy solving problems, both independently and by collaborating with your colleagues
• have a focus on quality - keywords include continuous integration, testing, code reviews, and of course static analysis
• are interested in program analysis or compiler construction, e.g. control-flow analysis, data-flow analysis, abstract interpretation, SMT solvers, formal verification techniques, inner workings of programming languages
• can communicate effectively in English and optionally also in German

We offer a secure job with a permanent contract in a company that values its employees. At Axivion we have flexible working hours either in one of our offices (Stuttgart, Bremen and Düsseldorf), in a home office or hybrid with modern technology. This is a very collaborative and inclusive work environment where individuals strong on aptitude and attitude will have an opportunity to grow their professional careers through working with some of the most advanced technology and talented developers in the business. Our culture embraces openness, learning, encouragement, and fun.