Job Overview Andtruth International Pte. Ltd. is seeking a highly experienced Senior Engineer, Artificial Intelligence to lead the research, design, and engineering of advanced AI systems for software verification and mission-critical software assurance. The successful candidate will develop next-generation AI technologies that combine large language models (LLMs), agentic AI architectures, formal verification, theorem proving, and software engineering to improve the correctness, reliability, and security of complex software systems. The role bridges cutting-edge artificial intelligence research with practical engineering solutions for highly regulated industries including financial services, telecommunications, energy, and enterprise software. Key Responsibilities Design and develop advanced artificial intelligence systems for automated software verification and software correctness. Engineer AI-powered agent frameworks that utilise large language models (LLMs), tool orchestration, and autonomous reasoning to solve complex software engineering tasks. Research and implement AI algorithms that improve software reliability, code quality, and formal correctness. Design intelligent reasoning systems capable of generating, validating, and verifying formal proofs for mission-critical software. Build scalable AI infrastructure supporting theorem proving, formal verification, and software assurance workflows. Develop AI-assisted programming tools that improve developer productivity, software quality, and engineering efficiency. Integrate frontier AI models with formal methods, symbolic reasoning, and verification pipelines. Collaborate with research teams to translate state-of-the-art AI and software engineering research into production-ready technologies. Evaluate emerging developments in generative AI, autonomous agents, program analysis, and formal methods for integration into the company's technology platform. Lead technical architecture decisions for AI systems and pro