Post New Job

Software Engineer (Engineer III to Principal) – Formal Methods

Full time Remote @AlfaCareers Official posted 1 day ago in Research & Development (R&D)
  • Remote, USA View on Map
  • Post Date : October 23, 2026
  • Salary: $115,000.00 - $230,000.00 / Monthly
  • 0 Click(s)
  • View(s) 5
Email Job

Job Detail

  • Job ID 365213
  • Career Level  Officer
  • Experience  2 Years
  • Gender  Any
  • Industry  Information Technology (IT)
  • Qualifications  Master’s Degree

Job Description

CertiK, the blockchain security company founded by Yale and Columbia professors, is hiring software engineers from Engineer III to Principal level for its formal methods team. You will design and build automated verification tools that prove smart-contract correctness and surface security bugs, working with symbolic model checking, SAT/SMT solving, abstract interpretation and deductive verification. The role spans algorithm design, language translators and intermediate representations, testing, CI/CD and customer-driven iteration. A master’s degree (or equivalent) and at least two years of formal-verification experience are required.

Company: CertiK. Location: Remote, USA. Category: R&D. Salary: Target annual base salary for this role performed in the US is $115,000 – $230,000. Employment type: Full Time (remote). Visa sponsorship: Not stated on the listing (standard employment-eligibility verification language only). Posted / deadline: Jobicy Published 22 Oct 2026; apply before 21 Nov 2026. Notes: Seniority band is wide (Engineer III through Principal); title and responsibilities are set by experience. Categorized R&D because the work is applied formal-verification research engineering.

How to apply: submit your application through the official listing here: https://jobicy.com/jobs/156398-software-engineer-engineer-iii-to-principal-formal-methods
Source: official job listing (see apply link).

Other jobs you may like

 
Required 'Candidate' login to applying this job. Click here to logout And try again
 
 
Required 'Candidate' login for send message Click here to logout And try again
 
 

Apply for this Job

  • Drop a resume file or click to upload.
    To upload file size is (Max 5Mb) and allowed file types are (.doc, .docx, .pdf)
    or
    Upload Resume
  • Upload Cover Letter

    To upload file size is (Max 1Mb) and allowed file types are (.doc, .docx, .pdf)

 

Answers

 

Job Alerts

 

Account Activation

Before you can login, you must activate your account with the code sent to your email address. If you did not receive this email, please check your junk/spam folder. Click here to resend the activation email. If you entered an incorrect email address, you will need to re-register with the correct email address.