Careers at TrustInSoft

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

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 our CEO, Fabrice Derepas

Play Video

Current positions

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

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 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 / 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 fulfil 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:

The Engagement Manager has a central role in the organization to secure our revenue, communicate directly with customers and coordinate with sales teams.

She/he ensures the delivery of customer projects by coordinating the efforts of experts, controlling scope, planning and quality and monitoring projects profitability. A strong technical background in software development (C/C++) is required to make the right decisions on projects and communicate efficiently with our customers.

The engagement manager is also involved in Pre Sales activities, alongside the Sales team to build and quote new Services offers & packages. She/he collaborates closely with Sales, product management and Customer Success software analysts by gathering customers technical and business requirements, and determining the most appropriate services & resources for our future projects.

Ultimately, the role aims to build a positive relationship with a client, at presales and delivery stages, and solve any issue that a client experiences.

 

You will work with cross-functional teams, mainly focused on embedded software development, for a wide diversity of markets (automotive, IoT, mobile, defense,…), in a worldwide context. Internally, you will act as the customer voice to feed our roadmap, and protect customer interests. Travelling 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, the candidate must be organized and analytical, adept at working in a team environment and able to handle multiple priorities.

Responsibilities:

· Drives the project from engagement to invoicing by ensuring customer satisfaction, committed timeline and quality, project profitability and TrustInSoft’s interests

· Manage customer interface

· Respecting the budget, write the project management plan and monitor it, manage project risks and related action plans

· Report internally and externally on project progress and issues (responsible for alerts and escalations)

· Assign resources and prioritize activities

· Record project activities in the project management application

· Invoice and bill clients and find ways to upsell clients

· Contribute to customer support & pre-sales activities and determine the appropriate services offerings for each opportunity

· Work with the Sales team to build new packaged offers

· Anticipate client needs and propose alternative delivery solutions or business solution in cooperation with the sales team

· Create a positive experience for clients and secure high customer satisfaction

 

Skills and Experience:

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

· Technical:

o Prior experience of min 3 years as customer project manager or Engagement manager

o Strong background of C or C++ software developer, preferably for embedded devices

o Experience with Linux system, versioning tools, CI/CD integration and tools (Jenkins,…)

o Excellent knowledge of challenges related with software cybersecurity and safety

o Proficient with MS Project & MS Office Suite

· Soft skills:

o Fluent in English

o Excellent communication skills

o minimum of 5 years prior related work experience in professional services or customer facing position

o Ability to understand the business requirements and converting them into solution designs

o demonstrate good judgment and pragmatic approach in assigning internal resources on projects or opportunities

o Both technical and sales-oriented to drive customer relationship during project, and have the ability to manage complex issues in an international environment

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 spirit & positive. Team-Building Skills: act as a leader to animate the teams

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

· Additional skills/experience/requirements:

o Willingness to travel to client locations

o Certification in Project Management Methodologies

o Other foreign language is a plus

o Experience with source code analyzers

o Willingness to develop management skills

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.

About the job 

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C, C++, and Java. It counts around 50 employees working on various platforms and environments and making intensive use of collaborative tools such as Gitlab and MS365. 

Minimum qualifications 

  • Administration of GNU/Linux, Mac, Windows 
  • Administration of MS365, Gitlab/Gitlab CI 
  • Proficiency in English, especially written 

Preferred qualifications 

  • Knowledge of Microsoft Power Platform 
  • Network maintenance 
  • Knowledge of Ansible, OpenStack, Amazon S3, AWS, Terraform, docker 
  • Knowledge of the Python programming language and other scripting languages 

Responsibilities 

  • Support of around 50 internal users of GNU/Linux, Mac, Windows 
  • Infrastructure administration of MS365, GNU/Linux, Ansible 
  • Support and administration of Gitlab/Gitlab CI 

About the job 

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C, C++, and Java. It is a sound static source code analyzer based on formal methods, mainly abstract interpretation. The codebase (~600k LOC) is written in OCaml and organized as a kernel interacting with several plugins. You will join a team of around 15 demanding and interacting engineers focused on delivering the best possible product. 

This job position is concerned with the design and implementation of the UI and UX of its analyzer and requires a complete understanding of the core features of the highly technical products developed by TrustInSoft and of how customers and users deploy and use them. Based on this understanding, you will specify and implement fixes, improvements and new features of the on-premises and SaaS UIs using a combination of OCaml, CSS and HTML. 

 

Minimum qualifications 

The candidate shall have a strong enthusiasm, knowledge, and experience in 

  • Knowledge of the OCaml language or other functional language 
  • Knowledge of Web development (including HTML and CSS languages) 
  • UI and UX design 
  • Proficiency in English, especially written 

 

Preferred qualifications 

  • SaaS product development 
  • Web application testing techniques 
  • Knowledge of C and C++ 
  • Knowledge of using Js_of_ocaml 
  • Experience with the GNU/Linux environment and git 

 

Responsibilities 

  • Specify, develop, fix and improve the UI and UX of the analyzer and its SaaS version 
  • Work in a team of around 15 developers 

About the job 

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C, C++, and Java. It is a sound static source code analyzer based on formal methods, mainly abstract interpretation. The codebase (~600k LOC) is written in OCaml and organized as a kernel interacting with several plugins. You will join a team of around 15 demanding and interacting engineers focused on delivering the best possible product. 

This job position is concerned with the development and maintenance of the deductive verification module of the analyzer, which is based on weakest precondition calculus, and therefore requires a strong theoretical background in deductive program verification.  

 

Minimum qualifications 

  • Strong experience in OCaml or other functional programming languages 
  • Strong background in formal methods and/or compilers 
  • Experience in weakest precondition calculus and SMT solvers 
  • Proficiency in English, especially written 

 

Preferred qualifications 

  • Knowledge of C and C++ 
  • Experience with the GNU/Linux environment and git 

 

Responsibilities 

  • Fix and improve the weakest precondition deductive verification module of the analyzer 
  • Work in a team of around 15 developers 

About the job  

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C, C++, and Java. It is a sound static source code analyzer based on formal methods, mainly abstract interpretation. The codebase (~600k LOC) is written in OCaml and organized as a kernel interacting with several plugins. You will join a team of around 15 demanding and interacting engineers focused on delivering the best possible product. 

As a maintainer of the C++ module, which is written in C++ and OCaml, you will join a dedicated subteam of a few developers and will be responsible for the correctness of the translation of the C++ code into the intermediate language used by the analyzer. You will become a C++ expert with a very accurate understanding of the language. You will also have to monitor and improve the performances and memory consumption of the C++ module, as well as improve its usability. 

 

Minimum qualifications 

  • Expertise in C++ 
  • Knowledge of the OCaml language or other functional language 
  • Proficiency in English, especially written 

 

Preferred qualifications 

  • Knowledge in compilation techniques 
  • Experience with the GNU/Linux environment and git 

 

Responsibilities 

  • Fix, improve and develop the C++ frontend of the analyzer 
  • Work in a team of around 15 developers 

About the job  

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C, C++, and Java. It is a sound static source code analyzer based on formal methods, mainly abstract interpretation. The codebase (~600k LOC) is written in OCaml and organized as a kernel interacting with several plugins. You will join a team of around 15 demanding and interacting engineers focused on delivering the best possible product. 

This job position is concerned with the development of a new Java frontend of the analyzer by a dedicated subteam of a few developers, and therefore requires a good working knowledge of development in OCaml, and a solid theorical understanding of the implementation of object-oriented languages. 

 

Minimum qualifications 

  • Experience in OCaml development or other functional language 
  • Knowledge of the Java language semantics and/or of the JVM 
  • Proficiency in English, especially written 

 

Preferred qualifications 

  • Knowledge in formal methods and compilation techniques 
  • Experience with the GNU/Linux environment and git 

 

Responsibilities 

  • Develop, fix, and improve the Java frontend of the analyzer 
  • Work in a team of around 15 developers 

About the job 

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C, C++, and Java. It is a sound static source code analyzer based on formal methods, mainly abstract interpretation. The codebase (~600k LOC) is written in OCaml and organized as a kernel interacting with several plugins. You will join a team of around 15 demanding and interacting engineers focused on delivering the best possible product. 

This job position is concerned with the development and maintenance of the abstract interpretation module of the analyzer, and therefore requires a strong theoretical background in abstract interpretation. 

 

Minimum qualifications 

  • Strong experience in OCaml development 
  • Strong background in formal methods and specifically abstract interpretation, both theoretical and practical 
  • Knowledge of the C language semantics 
  • Proficiency in English, especially written 

 

Preferred qualifications 

  • Knowledge of compilation techniques 
  • Experience with the GNU/Linux environment and git 

 

Responsibilities 

  • Fix, improve and develop the abstract interpretation module 
  • Work in a team of around 15 developers 

About the job 

 

TrustInSoft is the publisher of TrustInSoft Analyzer, a formal verification tool for C, C++, and Java. It is a sound static source code analyzer based on formal methods, mainly abstract interpretation. The codebase (~600k LOC) is written in OCaml and organized as a kernel interacting with several plugins. You will join a team of around 15 demanding and interacting engineers focused on delivering the best possible product. 

As a developer of the kernel, you will be at the core of the analyzer, interacting with all other plugins. 

Minimum qualifications 

 

  • Strong experience in OCaml development 
  • Expertise in the OCaml tool chains and libraries (in particular Dune, Makefile, opam) 
  • Knowledge of compilation techniques 
  • Proficiency in English, especially written 

 

Preferred qualifications 

 

  • Knowledge of the C language semantics 
  • Experience with the GNU/Linux environment and git 

 

Responsibilities 

 

  • Fix and improve the parsing frontends, the transformation passes, the code generators, the reporting facilities, the generic platform services, the build system, the user interfaces, the in-house testing tools 
  • Work in a team of around 15 developers 

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.