AI Engineer

About Us

TrustInSoft is a leading provider of software analysis tools that leverage formal methods to ensure the safety and security of code. Our cutting-edge solutions help enterprises manage the risks of complex software systems. Join us in a dynamic, innovative environment and contribute to the development of TrustInSoft Analyzer, our flagship product that is transforming the way developers ensure the correctness of their code.

Job Description

TrustInSoft is seeking an AI Engineer to join our team in Paris. As part of an R&D team of 15 people with Formal Methods, C, C++ and Rust language expertise, you will focus on designing and integrating AI-driven features into TrustInSoft Analyzer to ease its adoption, automate its usage, and improve efficiency. A key responsibility will be automating the unit testing process of C and C++ code, leveraging AI to streamline the analysis and enhance the testing activities done with the software analysis tool.

Key Responsibilities

• AI Feature Integration: Design, develop and integrate AI-driven features into TrustInSoft Analyzer, with a focus on automating software analysis tasks and improving user interaction. Your first weeks will be focused on:
• Automating Unit Testing: Automate the unit testing of C and C++ code within TrustInSoft Analyzer using AI techniques. This includes optimizing the testing activities with TrustInSoft Analyzer and ensuring efficient test execution and results analysis.
• AI Prompting: Design and refine AI-driven prompts to improve user interaction with the software, helping users leverage the full potential of TrustInSoft Analyzer.
• Custom Chatbot Creation: Build and deploy intelligent chatbots to assist users with troubleshooting, guidance, and task automation within TrustInSoft Analyzer.
• On-Premises AI Deployment: Manage the deployment of AI-driven solutions within on-premises environments to ensure seamless integration with TrustInSoft Analyzer.
• Automation: Implement AI-powered automation to simplify repetitive tasks and optimize the software analysis workflow, particularly in the context of testing and code analysis.

Required Skills and Qualifications

• AI Expertise: Strong knowledge in AI prompting, chatbot creation, and deployment of AI solutions in enterprise environments.
• C Development: Solid understanding of C programming and testing as it relates to TrustInSoft Analyzer’s application domain. Knowledge of C++ and Rust is a plus. This includes leveraging AI to automate formal verification and software analysis tasks.
• English Proficiency: Good written and spoken communication skills in English to collaborate effectively in a global environment.

Nice to Have

• OCaml Knowledge: Familiarity with OCaml is a plus, as it is the main language used within TrustInSoft Analyzer. If you’re not already familiar with it, you should be willing to learn OCaml within the first few months of your arrival.

Why TrustInSoft?

• Work on innovative, high-impact AI-driven projects in the field of software analysis and security.
• Join a team of experts in both formal verification and software analysis tools, working on cutting-edge solutions.
• Competitive salary and benefits package.
• Flexible working environment with the opportunity to work in a dynamic, supportive, and diverse team.

If you're passionate about AI and software security, and you're eager to make a significant impact through automation and software analysis, we want to hear from you!

Apply today to join our team at TrustInSoft and help shape the future of software analysis.