QA Engineer, AI Verification Systems

About the role

QA/SDET (Software Development Engineer in Test) for a rules-to-proof product. You test every stage of the pipeline, from rule input through formal specs, prover output and proof artifacts to the customer-facing APIs and proof viewers. You raise clear, reproducible defects and verify fixes.

What you'll do

• Test the different parts of the product for functionality, from rule input through formal specs
• Cover corner cases and potential security issues, including exceptions, thresholds, conflicting rules, unsatisfiable inputs, malformed or malicious input
• As time goes on, work on automating these tests so that these are flagged without manual intervention
• THRIVE IN THIS ROLE IF YOU HAVE
• 3+ years in QA, SDET or ML/LLM evaluation, hands-on test automation experience (Python preferred)

What you need

• 3–6 yrs of experience
• Test cases
• API testing
• Unit testing
• LLMs
• Machine learning
• CI/CD
• Any graduate

Good to have

• Test automation
• Python
• Jenkins