About the JobQt is seeking a Senior Software Engineer for Program Analyses to develop and maintain our world-class static program analysis tools within a team of highly professional experts.Our static analyses assist customers in identifying bugs and issues early in development, contributing to overall software quality assurance.We are committed to creating secure, reliable software. Our international clientele includes prominent companies across automotive, healthcare, automation, electronics, transport, and aerospace industries, who rely on our analysis solutions to meet high standards of quality and security.This role is ideal for engineers experienced in C++, Python, static analyses, and eager to learn CUDA.You willDevelop and maintain existing static program analysesSupport infrastructure such as our C / C++ compilerAssist customers in applying these analysesResearch practical approaches to static program analysisDesign and implement CUDA-focused analysesEnhance existing analyses to better support CUDAAbout YouUniversity degree in computer science or a relevant fieldProficiency in C++ and Python, with expertise in at least oneExperience with CUDA or willingness to learn CUDASelf-organized with a proactive approach to problem-solving, both independently and collaborativelyStrong understanding of CI, testing, code reviews, and static analysisInterest in programming languages, compilers, and static analysis systemsForward-thinking mindset, passionate about industry trends and innovationExcellent English communication skills, both verbal and written; knowledge of German is a plusWhat We OfferA friendly, diverse, and sociable workplaceCollaborative and inclusive environmentFlexible hours supporting work/life balanceHybrid workstyle30 vacation days annuallyGlobal colleaguesPublic transportation ticket (Deutschland ticket)Mobile phone & subscriptionLanguage learning platform (Babbel)Support for mental health via Auntie Program #J-18808-Ljbffr