"abstract interpretation" Jobs

25 open tech roles matching “abstract interpretation”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Python, AI/ML, Rust. Every listing is re-checked daily and closed roles are removed.

Showing 5 of 25 results

Software Engineer (Engineer III to Principal) - Formal Methods

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

CertiK New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Published 4 years ago

abstract interpretation automated reasoning SAT/SMT solving symbolic model checking programming language theory

Apply →

VP of Product Hybrid

Lead product strategy and execution at Bluefish AI, shaping the future of AI marketing technology.

Bluefish AI New York, Hybrid Published 6 months ago

AI/ML SaaS

Apply →

Senior Data Analyst, Product Analytics Hybrid

Join ShopMy as a Senior Data Analyst to drive product performance through data insights in a high-impact, autonomous role.

ShopMy New York $125k–$175k/yr Published 1 month ago

Mixpanel JavaScript Amplitude A/B Testing Heap

Flexible on stack

Apply →

Product Lead Hybrid

Lead product strategy and execution at Bluefish AI, a startup focused on AI-driven marketing solutions.

Bluefish AI New York, Hybrid Published 1 year ago

AI/ML SaaS

AI-first team

Apply →

Account Lead Hybrid

Join Bluefish AI as an Account Lead to manage and expand relationships with Fortune 500 customers in the AI-driven marketing landscape.

Bluefish AI New York, Hybrid Published 1 year ago

Marketing AI/ML SaaS

Apply →