IN Groupe

About the Company

A partner of the French government for close to 500 years, IN Groupe offers identity solutions and secure digital services, at the leading edge of technology and integrating electronics and biometrics.
From components to services and from documents to interoperable systems, IN Groupe is a global specialist in identity and secure digital services. The institution plays a daily role in facilitating everyone's life: helping states exercise their sovereignty, citizens protect their identity and businesses preserve their integrity.
Whatever the issue, IN Groupe, a company for digital sovereignty, contributes to asserting a fundamental right for everyone: the right to be you.

***

Partenaire de l’État français depuis près de 500 ans, IN Groupe propose des solutions d’identité et des services numériques sécurisés à la pointe de la technologie, intégrant électronique et biométrie. Des composants aux services, en passant par les titres et les systèmes interopérables, en tant que spécialiste mondial de l’identité et des services numériques sécurisés, IN Groupe est présent au quotidien pour faciliter la vie de chacun. Accompagner les États dans l’exercice de leur souveraineté. Protéger l’identité des citoyens. Préserver l’intégrité des entreprises.
Quel que soit l’enjeu, IN Groupe, entreprise de souveraineté numérique, contribue à faire valoir pour chacun un droit fondamental : le Droit d’être Soi.

Listed Jobs

Company Name

IN Groupe

Job Title

Formal Methods Engineer

Job Description

**Job Title:** Formal Methods Engineer **Role Summary:** Engineer responsible for applying formal verification techniques to critical embedded components (smartcard OS, JCVM, cryptographic libraries) to ensure security, performance, and compliance with certification standards (Common Criteria, FIPS). Works within an embedded R&D team, collaborates with product lines and certification bodies, and integrates formal methods into the development lifecycle. **Expectations:** - Proven experience in formal methods and verification of embedded software. - Ability to produce certification‑ready formal evidence. - Strong analytical rigor, autonomy, and teamwork skills. - Fluent English communication. **Key Responsibilities:** - Develop and maintain functional and security specifications for identity components. - Perform formal analysis and verification of critical smartcard code (C, JavaCard, binaries). - Demonstrate formal compliance with security requirements (memory safety, isolation, access control, privilege management). - Generate formal evidence for Common Criteria, FIPS, and other regulatory evaluations. - Ensure traceability among requirements, specifications, models, and implementations. - Identify and remediate logical/structural vulnerabilities affecting assurance levels. - Support security audits and certification activities. - Integrate formal verification processes into the industrial development workflow. - Investigate and apply optimization or AI‑based automation to improve analysis efficiency. **Required Skills:** - Proficiency with formal proof/analysis tools (e.g., Coq, Why3, Frama‑C, Jasmin, BINSEC). - Extensive experience verifying embedded C code and security protocols. - Ability to produce formal artifacts suitable for certification bodies. - Strong understanding of smartcard architectures, constrained environments, and secure development lifecycles. - Knowledge of physical and logical attack vectors on embedded systems. - Excellent analytical, synthesis, and communication abilities. - Team player with autonomy and high technical rigor. **Required Education & Certifications:** - Engineering degree, Master’s (Bac+5) or higher in Computer Science, Applied Mathematics, Security, or Formal Logic (PhD preferred). - No specific certifications required; familiarity with Common Criteria, FIPS, or similar security standards is essential.

Paris, France

Hybrid

04-02-2026

Company Name

IN Groupe

Job Title

Ingénieur développement logiciel expert Java, SQL et C++ H/F

Job Description

**Job Title** Senior Software Engineer – Java, SQL & C++ **Role Summary** Technical lead for the TAMMIS fingerprint database product, responsible for developing new features, enhancing performance, and ensuring operational and security maintenance of large‑scale biometric identification systems deployed internationally. Works in an Agile software development team within the Engineering Systems division. **Expectations** - Deliver high‑quality code in Java (Spring Boot), PL/SQL (Oracle/Postgres) and C++. - Improve fingerprint comparison speed and accuracy for databases containing millions of records. - Provide timely production support and incident resolution for client sites. - Maintain up‑to‑date technical documentation and propose architectural improvements. - Uphold security best practices and contribute to continuous product evolution. **Key Responsibilities** - Design, develop, and test new functionalities for the AFIS (Automated Fingerprint Identification System). - Optimize database queries and algorithms to boost matching performance. - Perform Maintenance in Condition Opérationnelle (MCO) and Maintenance in Condition Sécurité (MCS). - Act as primary technical reference for TAMMIS, assisting internal and external stakeholders. - Conduct root‑cause analysis of production issues and implement corrective actions. - Collaborate with cross‑functional teams using Agile methodologies (scrum ceremonies, sprint planning). - Keep technical documentation, release notes, and knowledge base current. - Mentor junior developers and share expertise in security and performance tuning. **Required Skills** - Strong proficiency in Java and Spring Boot. - Advanced PL/SQL experience with Oracle and PostgreSQL. - Solid C++ development background. - Familiarity with Angular and Perl is a plus. - Expertise in relational database design, indexing, and query optimization. - Good understanding of biometric data handling and security considerations. - Ability to troubleshoot complex system issues and perform root‑cause analysis. - Experience working in Agile teams; Scrum or Kanban. - Excellent communication skills and client‑facing experience. **Required Education & Certifications** - Engineering degree (e.g., Computer Science, Software Engineering) or equivalent university qualification. - 10–15 years of professional software development experience, preferably on large, complex systems with relational databases. - No specific certifications required; security awareness and relevant training are advantageous.

Vélizy-villacoublay, France

On site

22-02-2026