RemoteLeaf Logo
Log in Sign up

Software Engineer (Engineer III to Principal) - Formal Methods

4 months, 2 weeks ago
United States
Full-time
Mid Level
Security Engineer
Software Development
Blockchain CI/CD Haskell OCaml
Apply Now
CertiK

CertiK

$152M raised
View All Jobs 19

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

Airbnb

Software Engineer, Payments

Airbnb 5K-10K Hotels, Restaurants & Leisure

Airbnb is hiring a Senior Software Engineer for its Payments Risk Engineering team to build scalable, real-time systems that detect, mitigate, and resolve fraud and other risks across its global payments platform.

United States Full-time Senior Software Engineer
$162k-$180k
Java JavaScript Kotlin Machine Learning Python React
22 hours, 5 minutes ago
instacart.careers

Senior Software Engineer, Digital Twin Platform

instacart.careers 1K-5K Internet Software & Services

Instacart is hiring a Senior Software Engineer for its Digital Twin Platform team to build scalable systems that provide real-time understanding of products on grocery store shelves and support product, logistics, and fulfillment experiences.

United States Full-time Senior Software Engineer
$166k-$210k
Apache Airflow Apache Spark AWS Azure Computer Vision GCP Go IoT Java Kafka Machine Learning Python Scala SQL
22 hours, 5 minutes ago
Grove Collaborative

Senior Software Engineer, Front End / Full Stack

Grove Collaborative 251-1K Health Care Providers & Services

Grove Collaborative is hiring a senior front-end-focused individual contributor to lead full-stack web initiatives that improve its sustainable ecommerce experience from concept through measurement.

United States Full-time Senior Software Engineer
$180k-$215k
Alpine.js CI/CD Cypress Design Systems Git GitHub Actions GraphQL JavaScript Jest Playwright React Shopify Svelte System Design TypeScript Vue.js
22 hours, 20 minutes ago
Temporal

Senior Software Engineer, Cloud Growth

Temporal 51-250 Internet Software & Services

Temporal is hiring a Senior Software Engineer to build and lead scalable billing, metering, customer-lifecycle, and revenue data systems that support its cloud platform and customer experience.

United States Full-time Senior Software Engineer
$176k-$231k
AWS CI/CD ClickHouse Go Kafka Kubernetes PostgreSQL Salesforce Segment
22 hours, 20 minutes ago

You're on a roll! Sign up now to keep applying.

Sign Up

Already have an account? Log in

Used by 14,729+ remote workers