Software Engineer (Engineer III to Principal) - Formal Methods
CertiK · Remote (USA) · Full-time
Salary: USD 115,000 – 230,000 / year
Description
Why us? Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is where CertiK comes in. We are the leading blockchain security company. Our goal is to secure the cyber world by applying cutting edge techniques from academia to secure blockchain code. Come and join this ambitious mission as a research software engineer to work on automated analyses for provably secure and correct blockchain applications! What you will do You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. We have software engineer positions available at all levels of seniority. Title and responsibilities will be commensurate with experience and background. As part of our multinational team of programming language experts, you will participate in the development of tools that rest upon techniques such as symbolic model checking,…
View full original posting → Source: Jobicy
How to apply
- Read the description and requirements and check the location and pay.
- Click “Apply now” on this page. If you do not have a free account yet, create one — it takes about a minute.
- Keep your phone on and your CV or details ready, so the employer can reach you.
- You can also open the original posting (link above) to see how the employer prefers applications.
- Never pay money to get a job. Report any listing that asks you to.
Questions about this job
Where is this Software Engineer (Engineer III to Principal) - Formal Methods job located?
It is listed as Remote (USA), so it can be done from home.
Who is hiring?
The employer shown on the listing is CertiK.
What is the salary?
The listing shows: USD 115,000 – 230,000 / year. Confirm the exact pay, overtime and payment date with the employer before accepting.
Is it full-time or part-time?
The listing type is Full-time.
When was this job posted?
It was posted on 22 October 2026. Jobs that stay open too long are closed automatically, so apply soon if you are interested.
How do I apply?
Read the description and requirements, then click Apply now on this page (a free account is needed). You can also open the original posting to see how the employer takes applications.
Do I have to pay to apply?
No. Applying on Get Mazdoor is free, and a genuine employer does not ask for money to apply or for a "registration" or visa fee before an offer. If anyone asks you to pay, do not.
Similar IT & Software jobs
Java Developer (Regular to Senior) | Backend-focused Full Stack (f/m/d)
Accurids GmbH
Senior DevOps Engineer- Night Shift(10:00 PM - 6:00 AM)
nice
Managing Principal - Software Engineering & Architecture H/F
capco
Senior Software Engineer, AI Training - UK
G2I
Senior Software Engineer, AI Training - NZ
G2I
Technical Product Lead - AI Stockbroking App
Bjak
Browse more: IT & Software jobs · All jobs in Pakistan
