"deductive verification" Jobs

Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.

Join Check as a Payroll Support Specialist to resolve payroll discrepancies and ensure accurate payroll processing for businesses.

Join Abridge as a Software Engineer to develop LLM-driven workflows that enhance clinical systems in a hybrid work environment.

Join Abridge as a Senior Software Engineer to build scalable data infrastructure that drives business decisions and machine learning research.

Join Abridge as a Senior Data Scientist to drive product strategy and enhance healthcare data insights with generative AI.

Lead the product strategy for Abridge's AI/ML evaluation platform, ensuring quality and efficiency across multiple product teams.

Join Valon Labs as a Sales Engineer to lead technical discovery and deliver impactful product demonstrations in the mortgage servicing sector.

Join Abridge as a Machine Learning Infrastructure Engineer to optimize AI model inference infrastructure in a fast-paced healthcare startup.

Lead sales efforts for Abridge's AI-powered platform targeting health plans to drive revenue growth.

Join EliseAI as an Affordable Housing Compliance Analyst to ensure accuracy in resident file reviews across various affordable housing programs.

Join Abridge as a Research Scientist to evaluate the impact of ambient AI on healthcare outcomes in a fast-paced startup environment.

Lead product strategy for foundational models and post-training at a growing healthcare AI startup in San Francisco.

Join Valon Labs as a Technical Program Manager to lead complex data deployment workstreams in the mortgage servicing industry.

Join Amperos as a Billing Associate to help collect outstanding claims using AI and traditional workflows in a fast-paced environment.

Join Amperos as a Billing Associate to enhance AI performance in healthcare revenue recovery with a focus on AR and claims management.

Lead the development of a chat-based Clinical Decision Support tool to enhance clinician workflows and patient care.

Join Abridge as an Associate General Counsel to advise on legal issues in AI and machine learning for healthcare products.

Lead the data science team at Abridge to drive product strategy and insights in a high-growth healthcare AI startup.

Join Volta as a Senior Manager to lead tax structuring and transactions in a fast-scaling AI infrastructure platform.

Join Coinbase as a Product Marketing Manager to drive growth in the rapidly evolving prediction markets sector.