Login to your Qt account
Login to your QA account
About the Role
Qt Group (Nasdaq Helsinki: QTCOM) is a global software company with a strong presence in more than 70 industries and is the leading independent technology behind 1+ billion devices and applications. Qt technology is used by approximately one million developers worldwide. We enable a single software code across all operating systems, platforms, and screen types, from desktops and embedded systems to business-critical applications, in-vehicle systems, wearables, and mobile devices connected to the Internet of Things. The company's net sales in the year 2021 totaled 121.1 MEUR and it employs +650 people.
To learn more about us, visit www.qt.io .
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 highly international workplace with uniquely skilled people from around the whole world. 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.