AI Engineer

il y a 1 jour

Paris, France Trust In Soft Temps plein

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 DescriptionTrustInSoft 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 ResponsibilitiesAI 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 QualificationsAI 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 HaveOCaml 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 youApply today to join our team at TrustInSoft and help shape the future of software analysis. #J-18808-Ljbffr

  • Research Engineer

    il y a 2 semaines

    Paris, France Kog AI Temps plein

    Open to freelancing or to a permanent position ! **KOG**: - An early-stage startup was created a little over a year ago - Real-time AI platform aimed at revolutionizing how artificial intelligence is used in digital experiences - The goal is to make AI faster, more efficient, and more intuitive - Creative optimization at a very low level with our...

  • Applied AI Engineer, Fullstack Software Engineer

    il y a 3 jours

    Paris, Île-de-France Mistral Ai Temps plein

    About MistralAt Mistral AI, we believe in the power of AI to simplify tasks, save time, and enhance learning and creativity. Our technology is designed to integrate seamlessly into daily working life. We democratize AI through high-performance, optimized, open-source and cutting-edge models, products and solutions. Our comprehensive AI platform is designed...

  • Applied Ai Engineer, Senior Fullstack Software Engineer

    il y a 1 semaine

    Paris, France Mistral AI Temps plein

    **About Mistral** At Mistral AI, we believe in the power of AI to simplify tasks, save time, and enhance learning and creativity. Our technology is designed to integrate seamlessly into daily working life. We democratize AI through high-performance, optimized, open-source and cutting-edge models, products and solutions. Our comprehensive AI platform is...

  • Gpu Engineer

    il y a 2 semaines

    Paris, France Kog AI Temps plein

    **KOG**: - An early-stage startup was created a little over a year ago - Real-time AI platform aimed at revolutionizing how artificial intelligence is used in digital experiences - The goal is to make AI faster, more efficient, and more intuitive - Creative optimization at a very low level with our solutions - Seek out new ideas and implement them...

  • Fpga Engineer

    il y a 1 semaine

    Paris, France Harmattan AI Temps plein

    **About Us**: At Harmattan AI, we are a next-generation defense prime building autonomous and scalable defense systems. Driven by rigorous engineering developments of new defense products based on recent robotics and AI developments, we are on a steep growth trajectory. If you are interested in a career in a highly technical environment, thrive on pushing...

  • Computer Vision Engineer

    il y a 1 semaine

    Paris, Île-de-France Harmattan AI Temps plein

    About UsHarmattan AI is a next-generation defense prime building autonomous and scalable defense systems. Following the close of a $200M Series B, valuing the company at $1.4 billion, we are expanding our teams and capabilities to deliver mission-critical systems to allied forces.Our work is guided by clear values: building technologies with real-world...

  • Data Engineer

    il y a 1 jour

    Paris, France Harmattan AI Temps plein

    Join to apply for the Data Engineer role at Harmattan AI. About Us At Harmattan AI, we are a next-generation defense prime building autonomous and scalable defense systems. Driven by rigorous engineering developments of new defense products based on recent robotics and AI developments, we are on a steep growth trajectory. If you are interested in a career in...

  • Computer Vision Engineer

    il y a 1 jour

    Paris, France Harmattan AI Temps plein

    About Us At Harmattan AI, we are a next-generation defense prime building autonomous and scalable defense systems. Driven by rigorous engineering developments of new defense products based on recent robotics and AI developments, we are on a steep growth trajectory. If you are interested in a career in a highly technical environment, thrive on pushing...

  • Computer Vision Engineer

    il y a 24 heures

    Paris, France Harmattan AI Temps plein

    About Harmattan AIHarmattan AI is a next-generation defense prime building autonomous and scalable defense systems. Following the close of a $200M Series B, valuing the company at $1.4 billion, we are expanding our teams and capabilities to deliver mission-critical systems to allied forces. Our work is guided by clear values: building technologies with...

  • Platform Systems Engineer — Foundations

    il y a 1 jour

    Paris, France Genesis AI Temps plein

    A leading AI solutions company in France is looking for a talented software engineer to design and maintain frameworks that empower teams to rapidly develop and deploy production-ready systems. Responsibilities include collaborating with engineers and researchers, identifying design flaws, and advocating for high code quality. Ideal candidates should have...