RemoteLeaf Logo
Log in Sign up

Software Engineer (Engineer III to Principal) - Formal Methods

3 months 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 12

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

ChainGPT

Senior AI Engineer - APAC + Africa

ChainGPT 11-50 Internet Software & Services

ChainGPT is hiring a Senior AI Engineer to help build Brain by AIVM, an early-stage platform for verifiable and governed enterprise AI at the intersection of AI, blockchain, and agentic systems.

Singapore South Africa Vietnam Australia Kenya Nigeria Contract Lead AI Engineer Software Engineer
Blockchain System Design
15 hours, 59 minutes ago
TWO95 International

Software Engineer | Remote | Contract to hire

TWO95 International 51-250 Internet Software & Services

Software Engineer for a 100% remote 6+ month contract-to-hire role supporting enterprise data and system integration work for healthcare and financial services contexts.

United States Contract Senior Software Engineer
Angular AWS Ionic Microservices NestJS Oracle Serverless SQL SQL Server TypeScript
16 hours, 14 minutes ago
JoVE

Software Engineer, Backend

JoVE 51-250 Media

JoVE is seeking an experienced Software Engineer to help modernize its web applications and application stack while building performant, well-tested, reusable software in a collaborative product and engineering environment.

India Full-time Senior Software Engineer
Agile AWS CI/CD CloudFormation GitHub JIRA Kafka Microservices MongoDB Node.js PHP PostgreSQL RabbitMQ Redis REST API Scrum Serverless SQL System Design
16 hours, 29 minutes ago
CodeRoad

Senior Agentic AI Engineer

CodeRoad 51-250 Internet Software & Services

Coderoad is hiring a Senior Agentic AI Developer to build and deploy autonomous AI systems for real-world software projects in a remote Latam role aligned to East/West Coast time zones.

Latin America Full-time Senior AI Engineer Software Engineer
AWS Azure GCP Git JavaScript Kubeflow MLflow MLOps Python React Reinforcement Learning
16 hours, 29 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