CertiK logo
CertiK

The Premier Blockchain and Smart Contract Cybersecurity Company

Software Engineer – Formal Methods

Full-stack EngineerSoftware EngineerFull TimeRemoteLeadTeam 201-500Since 2018H1B No SponsorCompany SiteLinkedIn

Location

California + 2 moreAll locations: California | New York | Washington

Posted

62 days ago

Salary

$115K - $230K / year

Seniority

Lead

4 yrs expExperience acceptedEnglish

Job Description

Software Engineer – Formal Methods

CertiK

• Design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. • Extend the scope and depth of automated program verification tools and brainstorm, design, and implement new tools. • Adapt and improve algorithms for symbolic software model checking. • Build and extend translators from different input languages into intermediate representations. • Identify new classes of security properties of smart contracts and formalize properties for automated verification tools.

Job Requirements

  • Master's Degree in Computer Science or a related field or 5 years of equivalent experience.
  • Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development).
  • Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines.
  • Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.

Benefits

  • medical, vision, and dental insurance
  • 401(k) plan with company matching
  • life and accidental death and dismemberment insurance
  • HSA (with high deductible plan)
  • FSA
  • flexible paid time off
  • holidays
  • variable commission program for business development sales roles

Related Job Pages

More Full-stack Engineer Jobs

Fiscal AI logo

Software Engineer: Full-Stack (Multiple Positions Available)

Fiscal AI

Fiscal.ai | Modern Financial Data Platform Our Mission: Provide 100 million investors with high-quality financial data.

Full TimeRemoteTeam 11-50Since 2021H1B No Sponsor

Job Title: Software Engineer: Full-Stack or Software Engineer: Full-Stack (Data) Salary: $100,000-$220,000 + equity options. Location: Remote with occasional in-person work in our co-working space in downtown Toronto. About Us Fiscal.ai (formerly FinChat) is a leading research and data platform for capital markets.  Combining a powerful research Terminal with modern APIs, Fiscal.ai is building the modern financial data company.  The firm has raised $13M in venture backing and is headquartered in Toronto, Canada. With thousands of customers and millions of end-users through their API offerings, Fiscal.ai is building the premiere financial data company in the AI era. Brief Description of the Role: This role will be joining our growing and talented engineering Team. As a fast-growing company, you will be building at the intersection of the AI and finance. There are two main responsibilities of the engineering Team: - Building the Fiscal.ai Terminal product - Building the Fiscal.ai Financial Data infrastructure (and API product) Both require deep understanding of the full stack, LLMs and finance. If you think this is the perfect fit for you, we'd love to specifically hear why!

Canada
Job Closed
PointClickCare logo

Manager, Software Engineering

PointClickCare

Founded in 2000 and based in Mississauga, Ontario, Canada, PointClickCare offers comprehensive services to assist long-term healthcare providers. One of the first healthcare vendor

• Lead and mentor cross-functional teams of developers and QA analysts. • Drive end-to-end delivery of software projects using Agile methodologies. • Own technical design and architecture decisions in collaboration with stakeholders. • Ensure high-quality releases through strong process management and technical oversight. • Partner with product managers to align development with user needs and business priorities. • Continuously improve team performance, structure, and development practices. • Manage vendor relationships and represent the company in technical discussions. • Champion an AI-first culture, encouraging teams to rapidly innovate, experiment, and drive adoption of AI capabilities to enhance product performance and efficiency.

United States
$164K - $182K / year
Remington & Vernick Engineers logo

Software Engineer

Remington & Vernick Engineers

Excellence ● Innovation ● Service

Full TimeRemoteTeam 201-500Since 1901H1B No Sponsor

• Assists in developing, testing, deploying, and maintaining software; • Follows best practices established by the organization and participates in improvement conversations; • Consistently helps the team achieve results. • Learns through successful and failed experiment when tackling new problems; • Actively seeks ways to grow and be challenged using both formal and informal development channels • Builds partnerships and works collaboratively with others to meet shared objectives; • Collaborates with other team members in agile processes;

United States
Job Closed
AmeriSave Mortgage Corporation logo

Senior AI Full Stack Engineer

AmeriSave Mortgage Corporation

Self-described as "champions of the American Dream," AmeriSave Mortgage Corporation, or simply AmeriSave, is a financial services company operating as "one of the largest" privatel

• Design, develop, and maintain robust and scalable web applications using TypeScript, HTML, CSS, Java, and Node.js in a microservice environment • Collaborate with cross-functional teams to define, design, and ship new features quickly • Write clean, maintainable, and efficient code in TypeScript and Java • Optimize applications for maximum speed and scalability • Troubleshoot and debug applications to ensure optimal performance • Implement data storage solutions using MS SQL and ensure data integrity • Participate in code reviews to maintain code quality and ensure best practices • Stay up-to-date with the latest industry trends and technologies • Build and deploy AI-powered applications using LLMs, GenAI agents, and retrieval-augmented generation (RAG) pipelines • Integrate AI services into full-stack solutions using frameworks like LangChain, FastAPI, or Azure OpenAI • Handle unstructured data (PDFs, HTML, audio, images) and multimodal models • Implement LLMOps practices including prompt versioning, caching, observability, and cost tracking • Collaborate with AI/ML engineers and data scientists to embed intelligent automation and decisioning into enterprise workflows • Contribute to the development of semantic search, vector databases (e.g., Pinecone, Supabase), and AI-enhanced user experiences.

United States
$150K - $200K / year