Software Engineer (Engineer III to Principal) - Formal Methods

1 month, 2 weeks ago

United States

Full-time

Mid Level

Security Engineer

Software Development

Blockchain CI/CD Haskell OCaml

Apply Now

Description

Extend the scope and depth of automated program verification tools and develop new tools.
Adapt and improve algorithms for symbolic software model checking, including BMC, CEGAR, and IC3/PDR.
Build and extend translators from multiple input languages into intermediate representations optimized for automated analysis.
Identify new classes of smart contract security properties and formalize them for verification tools.
Collaborate closely with other engineers to set technical direction and solve problems with the team and management.
Work across the full software delivery lifecycle, including analysis, design, automated testing, operations, CI/CD, measurement, customer feedback, and support.
Participate in tool development from idea generation through implementation and iterative improvement.
Contribute to a multinational team working on formal methods, automated reasoning, and blockchain security.

Requirements

Master's degree in Computer Science or a related field, or 5 years of equivalent experience.
At least 4 years of software development experience, including internships, research software, or open-source development.
At least 2 years of experience with model checking, formal verification, SAT/SMT solving, abstract interpretation, or closely related disciplines.
Demonstrated knowledge of data structures, algorithms, mathematical logic, and automata theory.
PhD in the broader field of automated reasoning is preferred.
Publication record in conferences such as POPL, CAV, TACAS, FMCAD, or FM is preferred.
Experience in functional programming, especially OCaml or Haskell, is preferred.
Prior experience in a professional software development environment is preferred.
Strong problem-solving ability and a willingness to learn new technologies and collaborate.
Ability to work in a startup environment and wear multiple hats.

Benefits

Target annual base salary of $115,000 to $230,000 in the US.
Medical, vision, and dental insurance.
401(k) plan with company matching.
Life and accidental death and dismemberment insurance.
HSA with a high deductible health plan and FSA options.
Flexible paid time off and company holidays.
Remote-friendly role with locations listed as New York, Seattle, San Francisco Bay Area, or Remote.

Interested in this position?

Apply directly on the company website

Apply Now

Similar Roles

Lead Security Engineer, Enterprise Security

Klaviyo 1K-5K IT Services

Klaviyo is hiring a Lead Security Engineer to secure its corporate systems and platforms across SaaS, identity, endpoints, Zero Trust networking, and perimeter defenses in a hands-on technical leadership role.

United States Full-time Lead Security Engineer

$175k-$263k

AWS Azure Cloudflare CrowdStrike GCP OAuth OpenID Connect Secrets Management Terraform Vercel

50 minutes ago

Apply

50 minutes ago

Principal Security Engineer, Privy

Stripe 5K-10K Diversified Financial Services

Privy is hiring a Principal Security Engineer to define and operate security programs for its fintech and crypto infrastructure products, with a focus on protecting sensitive systems and reducing risk across the company.

United States Full-time Lead Security Engineer

AWS Blockchain CI/CD Encryption Go Java JavaScript Microservices Network Security OAuth OpenID Connect Penetration Testing Python Ruby Rust Secrets Management TypeScript

55 minutes ago

Apply

55 minutes ago

Senior Software Engineer, Core Experiences - Redmond, WA, USA

Speechify 51-250 Internet Software & Services

Speechify is hiring a Senior Software Engineer for its Core Experiences Team to build the foundational services and SDKs that power its cross-platform audio information product.