10 job opportunities for statutory interpretation in India updated today
job offers found
About the Role We are developing a 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 that the original statutory meaning is preserved. Given the se
About the Role We are developing a 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 that the original statutory meaning is preserved. Given the se
About the Role We are developing a 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 that the original statutory meaning is preserved. Given the se
About the Role We are developing a 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 that the original statutory meaning is preserved. Given the se
About the Role We are developing a 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 that the original statutory meaning is preserved. Given the se
About the Role We are developing a 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 that the original statutory meaning is preserved. Given the se
About the Role We are developing a 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 that the original statutory meaning is preserved. Given the se
The Role We currently have a secondment opportunity within a Commonwealth Agency that is seeking a lawyer with administrative and statutory interpretation experience to work on a variety of legal projects. The Responsibilities The successful candidate will be required to work as a secondee within th
About the Role We are building an advanced AI system that translates tax statutes into formally verified, machine-checkable logic using LLMs and the Lean 4 theorem prover. To ensure accuracy, we are onboarding Chartered Accountants as Subject Matter Experts (SMEs) to validate whether the AI correctl
Allygroup is seeking an experienced Admin Lawyer for a contract opportunity to support a high-profile Australian Government client. This position is offered as an initial three‑month contract with the possibility of a further three‑month extension. This role is open to multiple locations including C
₹5,40,000 – ₹8,60,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
