Product Manager– Static Analysis Software (C/C++)

Company

TrustInSoft is an international software publisher, with offices in Paris and Silicon Valley. It provides an advanced C/C++ source code analyzer to ensure software cybersecurity and safety. The NIST recognized TrustInSoft’s solution and its unique approach to software quality twice. It empowers software developers and testers to guarantee that software is immune to security flaws, behaves in a deterministic way, is resilient to crashes whatever the test inputs, while reducing software verification efforts. Worldwide leading companies in the Aeronautics & Defense / Automotive / Semiconductors/ & Consumer Device industries already rely on TrustInSoft Analyzer.

About the Role

We are looking for a strategic, hands-on Product Manager with deep expertise in static analysis software for C/C++, ideally with a background in embedded systems. You will lead the product vision and roadmap for TrustInSoft Analyzer, collaborating with R&D and go-to-market teams to evolve the product’s capabilities and expand its impact across critical industries. This is a pivotal role for someone passionate about software quality, formal verification, and delivering provably secure and safe software.

Key Responsibilities

Product Strategy & Vision

• Own and evolve the product roadmap aligned with business goals and customer needs.
• Apply Pragmatic Marketing principles to define market problems and prioritize high-value features.
• Champion the value of formal methods and sound static analysis in all aspects of product planning.

Cross-Functional Leadership

• Partner with R&D to define technical requirements and ensure timely execution of feature development.
• Work closely with the marketing and sales team to develop product positioning and compelling messaging based on competitive insights and market differentiation.
• Serve as a technical evangelist with the ability to translate complex technology into clear business value.

Customer Engagement & Market Intelligence

• Conduct ongoing market research, customer interviews, and competitive analysis to uncover insights and validate product decisions.
• Represent the voice of the customer across internal stakeholders, ensuring alignment in roadmap execution and customer success.

Enablement & Content Development

• Deliver high-quality technical content—demos, whitepapers, webinars—that demonstrates the TrustInSoft Analyzer’s advantages over classic tools and dynamic testing methods.
• Equip the sales team with the tools, collateral, and training to effectively communicate product value.
• Participate in key sales and customer meetings to support technical discussions and proof-of-value engagements.

Ideal Profile

• Master's degree in Computer Science, Software Engineering, or a related technical discipline.
• 5+ years in product management for B2B enterprise software, ideally in application security testing, static analysis, or formal methods.
• Strong proficiency in C/C++ and deep understanding of software development in embedded or critical systems.
• Proven experience with Agile development practices, CI/CD integration, and secure SDLC.
• Familiarity with formal methods, abstract interpretation, and compliance requirements (ISO 26262, DO-178C, etc.).
• Bilingual in French and English is a strong advantage.
• Entrepreneurial spirit with a drive to lead innovation in cybersecurity and safety-critical software.

Why Join Us?

• Collaborate with a world-class R&D team in a mission-driven company setting new standards in software safety.
• Influence the direction of a breakthrough product with clear differentiation in a high-impact market.
• Work with major global clients in aerospace, automotive, semiconductors, and defense.
• Be part of a company recognized by NIST for delivering mathematical proof of software reliability and safety.