Remote Formal Methods Scala Software Developer

A blockchain research and development company has a current position open for a Remote Formal Methods Scala Software Developer. Must be abl...

A blockchain research and development company has a current position open for a Remote Formal Methods Scala Software Developer.

Must be able to:
Develop new features
Guide and mentor other developers
Implement/enforce effective testing and development methods
Applicants must meet the following qualifications:

Masters in computer science, engineering, mathematics, or related
3+ years on the job training in Scala
Minimum of 5 years experience in programming
Must meet technical experience requirements listed by company
Experience in formal methods is required
Strong analytical skills