Home > Engineering > Formal Methods Engineer (Ledger)

Formal Methods Engineer (Ledger)

Posted : one year ago     11/16/2022

Sorry, this job is closed. Please refer to other remote jobs.

Job Details

Date Posted:
Job Type:
Career Level:
Salary & Benefits:
Work remotely from anywhere in US.
Location :

Job Description

We are searching for a Software Engineer - Formal Methods to join their Ledger team. As a Software Engineer specializing in Formal Methods, you are the interface between research and development. You will interact with researchers and produce formal specifications from the researchers’ work, iteratively refining specifications and working towards high-quality designs, prototypes, and practical implementations.
To apply to this job and other great opportunities like this-
Become a Waw member today Register Now or Login Now