Careers at TrustInSoft

Contribute to the cybersecurity startup dedicated to making the world a safer place.

TrustInSoft employees group photos

Why join TrustInSoft?

At TrustInSoft, we help build a safer, more secure world for others. A career is not just about getting a job: we are here to work with innovators, dedicated learners, movers, and leader. We are looking for candidates who have bilingual profiles (English mandatory + French bonus) that are also curious and passionate, energetic, diverse, open-minded, and who want to make a difference in the world and in the industry. TrustInSoft enjoys working with international profiles, to gain diverse perspectives. We seek dynamic profiles full of ideas who seek to revolutionize the world of software development.

Safe & Secure Systems, Worldwide

By sharing the power of our tools with software development teams around the globe

The power of R&D

To improve our product and its capabilities for our customers

Customer satisfaction

By providing unlimited support and taking feedback from customers to improve our product

Happy Employees

TrustInSoft strives to value employee contributions and provide them with learning opportunities to further their growth

A word from Cofounder & Chief Evangelist, Fabrice Derepas

Play Video

Current positions

Locations: Paris (or remote).

Full time job

Company:

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C and C++. It is a sound static source code analyzer based on formal methods, mainly abstract interpretation. The codebase (~600k LOC) is written in OCaml for the backend, and in a combination of OCaml, Python, Typescript, HTML and CSS for the frontend.

Job Objective:

This position is concerned with the design and implementation of the graphical frontend of the analyzer and its reporting tools, including on-premises and SaaS versions, as parts of a unified architecture. Emphasis is put on user experience and your UI and UX experience will be paramount. The frontend and backend are tightly connected, so you will have to acquire an understanding of the API of the analyzer.

Responsibilities:

You will specify, develop, and improve the graphical frontend and reporting tools of TrustInSoft Analyzer and its SaaS version.

You will join our R&D team composed of 17 demanding and interacting developers focused on delivering the best possible product, and will work under the supervision of the frontend development technical leader.

Skills and Experience:

You must have a strong knowledge and experience in :

  • web development (including mastery of TypeScript, HTML and CSS),
  • Knowledge of web development frameworks (React, Webpack, Vite…),
  • UI and UX design,
  • the GNU/Linux environment and git.

You must be proficient in English, especially written.

The following additional qualifications would make your application stand out :

  • SaaS product development
  • Web application testing techniques
  • Knowledge of OCaml and Js_of_ocaml
  • Knowledge of Python

Locations: Paris (or France remote).

Full time Job

Company: TrustInSoft is an international software publisher, with offices in Paris and San Francisco. It provides an advanced source code analyzer to ensure software cybersecurity and safety. The NIST recognized TrustInSoft’s solution twice and its unique approach to software quality. It empowers software developers and testers to guarantee that software is immune from 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 Defence / Aeronautics / Automotive / Telecoms / Semiconductors/ IoT industries already rely on TrustInSoft Analyzer.

About the Role:

At TrustInSoft, we are a leading provider of cutting-edge software analysis tools, and we are looking for a highly skilled Product Manager to join our team.

This role is ideal for someone with a passion for software development, security, and safety, eager to lead the evolution of the TrustInSoft Analyzer, a state-of-the-art exhaustive static analysis tool based on formal methods.

The Product Manager will be central to driving the product’s roadmap, enhancing its features, and expanding its market reach. This position is integral to our mission of ensuring our clients achieve formal verification of software across diverse industries such as automotive, aeronautics, critical and consumer electronics.

Responsibilities:

Product Leadership and Strategy:

  • Define and execute the product vision and strategy for TrustInSoft Analyzer.
  • Work with R&D to define and implement the roadmap for TrustInSoft Analyzer.
  • Apply Pragmatic Marketing principles to manage the entire product lifecycle from strategic planning to tactical activities working closely with engineering and the go-to-market team.
  • Conduct market research and engage with customers to understand needs, identify opportunities, and deliver product solutions that align with business goals.

Sales Enablement and Technical Advocacy:

  • Develop tools and materials to support the sales team, including product demos, and competitive analyses.
  • Train and support sales personnel, enabling them to articulate product benefits and features effectively.
  • Participate in sales engagements and discussions with key clients to provide deep product expertise.

Content Development and Marketing:

  • Craft compelling, technical content that highlights the unique capabilities and benefits of the TrustInSoft Analyzer.
  • Collaborate with marketing to develop and refine key messages and communication strategies.
  • Produce high-quality documentation and materials that enhance user understanding and product usability.

Skills and Experience:

  • Master’s degree in engineering in computer science or related field.
  • Proven experience as a Product Manager in a technology company, preferably in software analysis tools or cybersecurity products.
  • More than 5 years’ proven experience in a product management role.
  • At least 2 years in a similar role in a B2B environment, working on technical software products.
  • Strong familiarity with application security testing, formal methods, and static analysis.
  • Proficient in C/C++ programming languages and understanding of software development practices.
  • Experience with Agile methodologies and continuous integration/delivery (CI/CD) processes.
  • Excellent analytical and collaborative skills.
  • Creative and entrepreneurial spirit.
  • Hands-on mindset
  • Excellent interpersonal skills and personal presentation
  • Great leadership
  • Bilingual in French and English.

Excellent long-term opportunities exist for the successful candidate in the exciting and growing business of cybersecurity and safety in a company that truly values its staff and offers a very differentiating tool based on unique technology.

Availability: Full time position, from Q2 2024.

Locations: Paris (or France remote).

Full time Job

Company: TrustInSoft is an international software publisher, with offices in Paris and San Francisco. It provides an advanced source code analyzer to ensure software cybersecurity and safety. The NIST recognized TrustInSoft’s solution twice and its unique approach to software quality. It empowers software developers and testers to guarantee that software is immune from 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 Defence / Aeronautics / Automotive / Telecoms / Semiconductors/ IoT industries already rely on TrustInSoft Analyzer.

About the Role:

TrustInSoft, a pioneer in advanced software analysis tools, is seeking an experienced Demand Generation Manager to join our marketing team.

With a focus on driving growth and enhancing our brand’s market presence, this role is ideal for a results-driven professional who excels in creating and executing effective B2B lead generation strategies.

This position offers the opportunity to significantly impact our global sales by developing targeted marketing campaigns aimed at increasing lead quality and volume.

Responsibilities:

Campaign Strategy and Execution:

  • Design, implement, and monitor effective demand generation strategies that align with business goals and target industries.
  • Create multi-channel marketing campaigns leveraging digital, email, events, and social media to drive lead generation and customer acquisition.
  • Collaborate with product management and sales teams to develop compelling messaging and positioning that resonates with target audiences.

Performance Analysis and Optimization:

  • Measure and analyze campaign effectiveness, using data to drive decisions and optimize future marketing strategies.
  • Ensure efficient allocation of marketing budget resources to maximize ROI.
  • Regularly report on KPIs, including leads generated, conversion rates, and campaign ROI to senior management.

Lead Management:

  • Develop and refine lead qualification processes to enhance sales pipeline and improve lead conversion rates.
  • Research and identify target contacts and maintain target segmentation databases.
  • Work closely with the sales team to ensure leads are effectively nurtured and converted into sales opportunities.
  • Utilize CRM and marketing automation tools to streamline lead management activities.

Team Collaboration and Management:

  • Collaborate with cross-functional teams to ensure alignment of demand generation activities with overall business objectives.
  • Stay abreast of the latest trends in demand generation and B2B marketing to keep TrustInSoft at the forefront of industry developments.
  • Provide leadership to SDR team members fostering a collaborative team environment.

Skills and Experience:

  • Bachelor’s degree in marketing, Business Administration, or a related field.
  • 3-5 years of proven experience in demand generation or digital marketing, particularly within the technology or software industry.
  • Strong understanding of B2B marketing, lead generation, and sales processes.
  • Proficient in marketing automation and CRM tools (e.g., ZOHO, Active Campaign).
  • Experience with SEO, PPC, email marketing, and social media campaigns.
  • Excellent analytical and quantitative skills to interpret data and make data-driven decisions.
  • Strong communication and interpersonal skills, with the ability to engage effectively with various stakeholders.
  • Creative thinker with a proactive problem-solving approach.

Excellent long-term opportunities exist for the successful candidate in the exciting and growing business of cybersecurity and safety in a company that truly values its staff and offers a very differentiating tool based on unique technology.

Availability: Full time position, from Q2 2024.

Locations: Paris (or remote).

Full time Job

Company: TrustInSoft is an international software publisher, with offices in Paris and San Francisco. It provides an advanced source code analyzer to ensure software cybersecurity and safety. The NIST recognized TrustInSoft’s solution twice and its unique approach to software quality. It empowers software developers and testers to guarantee that software is immune from 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 Defence / Aeronautics / Automotive / Telecoms / Semiconductors/ IoT industries already rely on TrustInSoft Analyzer.

Job Objective:

The candidate will participate actively to the development of TrustInSoft’s footprint in new enterprise accounts. In this customer facing technical presales role, he will be the technical owner of the customer accounts providing guidance and leadership in the presales phase throughout the Europe region

Responsibilities:

  • Be the primary technical interface for prospects and a technical expert for TrustInSoft solution
  • Be the technical owner of the account, responsible for the customer’s technical experience
  • Build close relationships with customers at the technical level
  • Partner with sales managers for prospective customer visits, present and demo the TrustInSoft solution, and assist in the qualification of the opportunities.
  • Work with sales managers to understand the customer’s business goals and how the technology meets those goals.
  • With sales managers, define the success criteria and drive the customer during product evaluations to ensure satisfaction
  • Use the TrustInSoft solution to develop basic proof-of-concepts
  • Suggest appropriate integration in the customer development and validation processes and the required implementation steps.
  • Manage the handover towards and support the Professional Services team in providing the required deliverables
  • Prepare, support and present product presentations and demonstrations in marketing events.
  • Feedback to the product management relevant prospects and customers’ requirements

 

 

Skills and Experience:

  • Prior experience of min 5 years as senior sales engineer of software code analysis tools
  • A proven track record of working in a technical consulting role supporting enterprise customers
  • Deep knowledge of development and validation processes including SW safety certification processes and SW cybersecurity requirements validation
  • Experience in software development specifically in C/C++, RUST
  • Excellent communication & presentation skills.
  • Self-starter with exceptional ability to work independently in a dynamic and fast-paced environment.
  • Ability to develop and maintain positive customer relationships.
  • Willingness to travel

Excellent long-term opportunities exist for the successful candidate in the exciting and growing business of cybersecurity and safety in a company that truly values its staff and offers a very differentiating tool based on unique technology.

Availability: as soon as possible

Possible Location: We are looking for 1 candidate, based in Germany.

Full time Job

Company: TrustInSoft is an international software publisher, with offices in Paris and San Francisco. It provides an advanced C/C++ source code analyzer to ensure software cybersecurity, safety and quality. TrustInSoft empowers software developers and testers to guarantee that software is immune from security flaws, behaves in a deterministic way, and is resilient to crashes whatever the test inputs, while reducing software verification efforts. Worldwide leading companies in the Defence / Aeronautics / Automotive / IoT / Telecoms / Semiconductors industries already trust our tool to ensure the quality, cybersecurity and safety of their code.

Job Objective:

The candidate will own the development of TrustInSoft sales and footprint in DACH Aera. The role is primarily about new business acquisition and subsequent growth.

Responsibilities:

  • Identify prospects, promote TrustInSoft’s tool, win business at new accounts. Increase TrustInSoft footprint and customer base in DACH Area. Manage and drive new projects. Drive revenue, market share and business growth.
  • Primary focus will be on the development of the Embedded Automotive market but the candidate may also develop businesses in other key markets such as Semiconductors / IoT / Telecoms / Defence / Aeronautics.
  • Roll-out value selling & sales account methodologies.
  • Formulate sales strategies and execute business plans.
  • Build close relationships with all customers at all levels up to the Executive level.
  • Create and conduct proposal presentations and RFP responses.
  • Assist in the development and implementation of marketing plans as needed. Provide market feedback regarding TrustInSoft’s positioning in the market.
  • Although initially the role is as an individual contributor, DACH is a strategic market for TrustInSoft and the candidate will have the opportunity in the mid-term to create a local team as the pipeline and business grows.

Job Specifications:

  • Track record in winning new business at major accounts and establishing enterprise deals.
  • Prior sales experience of min 7 years in Automotive software addressing actors from the Automotive market.
  • Must have existing network and actionable relationships with software development or test teams (ideally C/C++ embedded SW) at major German accounts in the Automotive market.
  • Candidate should be willing and able to learn about the technical aspects and technology used by TrustInSoft.
  • Very dynamic, proactive, and motivated sales professional.
  • A deep understanding of the sales cycle, from lead generation, lead development, opportunity management, to closing.
  • Strong understanding of customer, market dynamics and requirements.
  • Willingness to travel mostly in DACH area.
  • Fluent in German and English.

Excellent long-term opportunities exist for the successful candidate in the exciting and growing business of cybersecurity and safety in a company that truly values its staff and offers a very differentiating tool based on unique technology.

Availability: As soon as possible.

Locations: France (Paris office/hybrid/remote).

Full time Job

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 from 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 / Automotive / Telecoms / Semiconductors/ IoT /Defense industries already rely on TrustInSoft Analyzer.

The team: within TrustInSoft, the “Customer Success” team has a key role to ensure our customers get the best benefit from our product, and reach their desired outcomes. Our mission starts from the Presales stage; we support the sales teams, to demonstrate our product will fulfill our customers’ needs in terms of exhaustive detection of security risks in their software, and secure the purchase decision. After the purchase decision, the Customer Success team is in charge of training our customers and delivering Services such as: supporting the customer to gain full autonomy with our product, offering our expertise in analysing complex codes, deploying our Analyzer in their CI/CD chain, or performing full analyses on their behalf.

The Customer Success team is a very experienced, talented and friendly bunch of people, who all love to succeed and reach the best level of customer satisfaction. The thrill of solving a problem for a customer, of coming up with innovative ideas, and being part of a team which is large enough to provide you with support but small enough that your accomplishments are noticed is what drives us.

Job Objective:

This is a highly hands-on and technical role, with customer facing responsibilities, and is focused on code analysis, with limited development activities. You will work with cross-functional teams, mainly focused on embedded software development, for a wide diversity of markets (automotive, IoT, mobile, defence,…). Internally, you will work in close collaboration with our product team and act as the customer voice to feed our roadmap, and also with sales & pre-sales team. Travels may be required depending on project constraints.

The ideal candidate must be self-motivated and comfortable in the dynamic atmosphere of a technical organization with a rapidly expanding customer base. Service oriented, candidate must be organized and analytical, adept at working in a team environment and able to handle multiple priorities.

Responsibilities:

· Perform code analysis on customer source code, in project mode, reporting regularly internally and to customer her/his progress

· Setup conference calls with customer to report progress and undefined behaviors detected

· In the presales stage, in the context of product demonstration, perform customer code analysis, prepare the restitution & presentation in collaboration with sales team and participate to the customer presentation

· Deliver customer trainings and technical hands-on knowledge transfer to customers

· Record project activities in the project management application

· Build close relationships with customers at the technical level

· Contribute to customer support & pre-sales activities

 

Skills and Experience:

· Education: B.A./B.S. degree required (Computer Science, Software development or a related field).

· Technical:

o Prior experience of min 5 years as senior C or C++ software developer, preferably for embedded devices

o Excellent knowledge of C and C++ ISO standards

o Experience with Linux/Unix system: comfortable with shell scripting, Linux file systems

o Comfortable with CI/CD integration and tools (Jenkins,…)

o Experienced with versioning tools (GIT,…)

· Soft skills:

o Fluent in English

o Excellent pedagogical skills

o High energy, flexible, pro-active

o Verbal and non-verbal communication skills, listening

o Ability to present solutions, rather than problems

o Ability to express complex ideas in a manner befitting the audience

o Team-working

o “can do” attitude. Willing to accommodate and innovate to ensure customer satisfaction.

o Problem solving

· Additional skills/experience:

o Experience in Java, Python, Rust development

o Experience in a Professional Services team

o Other foreign language is a plus

o Publication or contribution in Open Source software is a key differentiator

 

Excellent long-term opportunities exist for the successful candidate in the exciting and growing business of cybersecurity and safety in a company that truly values its staff and offers a very differentiating tool based on a unique technology

TrustInSoft is looking for a C and C++ guru.

Her/his main job is to perform analysis of any kind of C and C++ source code for the users of TrustInSoft Analyzer for proof-of-concept or to help initial setup.

Missions are on the customer premises (usually 2 to 5 days) or at the HQ for in-house analyses.

Current customers are in the US, China and Europe but the list is not limitative.

No need for a formal verification background: initial training is provided, you must be able to read, understand and explain the C and C++ ISO standards.

Preferred experience

The ideal candidate is expected to be an experienced C and/or C++ developer with strong analysis and pedagogical skills.

She/he has a development experience of/on embedded platforms, networking, OS, hypervisor, driver, firmware, libraries, safety and/or security standards.

All written communication is in English and most of our customers speak English.

Other foreign languages is a plus.

Loving C and C++ programming is must: you will get the opportunity to share your passion all over the world.