Software Engineer (Engineer III to Principal) - Formal Methods

Stack

Apply

Upload your CV — we will connect you with the employer directly through our pool.

Description

You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs. You will implement and improve algorithms such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will build translators from input languages to intermediate representations, optimize models for automated analysis, run automated tests, and work across the full software lifecycle from design through deployment and support. You will collaborate with peers to set technical direction and iterate on tooling based on feedback and measured results.

Employer contacts (email/phone/telegram) are hidden from the public preview — send your CV, and we will connect you directly.