Formal Verification Researcher

Company Overview

Kensara.ai is an AI-first compliance company dedicated to India’s Digital Personal Data Protection Act (DPDPA). It helps organizations replace manual, checklist-based audits with continuous, auditable privacy compliance supported by autonomous AI agents and privacy specialists. Its platform covers data mapping, consent and rights handling, DPIAs, policy creation, vendor reviews, breach preparedness, and ongoing monitoring. The solution is built for Indian startups, SMEs, and enterprises, especially digital-first and AI-first businesses such as SaaS, fintech, healthtech, marketplaces, and service providers that need a strong DPDPA posture to satisfy enterprise customers and scale with confidence.

The company’s goal is to make DPDPA compliance quicker, clearer, and more trustworthy so teams can operate without depending on spreadsheets or fragmented tooling, while leadership gets real-time visibility into compliance status.

Role Summary

This is a full-time, on-site position in Indore for a Formal Verification Researcher. The role focuses on designing, studying, and applying formal methods to improve the correctness, resilience, and compliance of Kensara’s AI-powered data protection systems.

What You Will Do

• Create formal specifications for key system behaviors and compliance workflows.
• Use model checking, theorem proving, and related verification techniques to validate critical paths such as consent management, rights fulfillment, and audit logging.
• Work closely with engineering and privacy teams to convert regulatory and product needs into properties that can be formally verified.
• Research current advances in formal verification and evaluate their fit for Kensara’s products.
• Build prototypes, tools, or frameworks that bring verification capabilities into the platform.
• Record research findings, share results with stakeholders, and contribute to internal documentation, publications, and long-term verification planning.

Required Background

• Solid understanding of formal methods, including formal specification, model checking, and/or interactive theorem proving.
• Comfort with at least one relevant programming language used in systems or verification work, such as Python, Rust, OCaml, Haskell, or C/C++.
• Academic grounding in computer science, mathematics, or a related field, with knowledge of logic, automata theory, algorithms, and discrete mathematics.
• Interest in or experience with applying verification methods to practical systems, particularly in distributed systems, data workflows, security, or privacy.
• Ability to work independently, review academic and industry research, and judge whether advanced techniques can solve product needs.
• Strong analytical thinking, problem-solving ability, and careful attention to detail when defining, modeling, and checking system behavior.

Additional Information

This role is based onsite in Indore and is intended for full-time employment. The description does not specify salary, stipend, number of openings, start date, or application deadline.