US CPA – AI Tax Review Specialist
About the Role
In this role, you will support the development of an advanced system that combines large language models with the Lean 4 theorem prover to translate tax statutes into precise, machine-verifiable logic. The system also generates plain-English explanations to ensure the original statutory meaning is preserved. Given the complexity and sensitivity of tax law, even minor logical errors can lead to incorrect outcomes. You will act as a critical quality gate, reviewing AI-generated outputs for accuracy, completeness, and logical correctness. This role is ideal for experienced tax professionals who enjoy detailed analysis and structured problem-solving.
Key Responsibilities
You will contribute to the system in the following ways: Logic Review Review AI-generated translations of tax statutes into structured, formal logic to ensure accuracy and completeness. Scenario Validation Evaluate system-generated test cases to confirm they correctly reflect statutory rules and real-world applications. Error Detection Identify issues such as missing exceptions, incorrect thresholds, logical gaps, or misinterpretations of tax provisions. Edge Case Design Develop additional test scenarios to capture edge cases and ensure robustness across a wide range of conditions.
Minimum Qualifications
- Certified Public Accountant (CPA – US)
- Hands-on experience with US tax practice
- Strong knowledge of the Internal Revenue Code (IRC) and Treasury Regulations
- Ability to interpret complex statutory language and translate it into structured logic
- Strong analytical thinking and attention to detail
- Ability to work independently and meet deadlines
Preferred Qualifications
- Experience with AI/LLM evaluation, annotation, or structured review workflows
- Exposure to rule-based systems, formal logic, or technical validation processes
Engagement & Compensation
- Role Type: Freelance / Contract
- Location: Fully Remote
- Compensation: $60–$80 USD per hour (based on experience and performance)
- Schedule: Flexible, asynchronous
Why Join Deccan AI At Deccan AI, you will work at the intersection of tax, AI, and formal systems, helping define how complex legal frameworks are interpreted and validated by machines. Your expertise will directly influence the accuracy and reliability of next-generation AI systems in taxation. Apply tot his job Apply To this Job