Register free for worksheets, guides, and on-demand coaching to support your job search.
Formal Methods Engineer
Job Summary
A company is looking for a Formal Methods Engineer (Djed).
Key Responsibilities
- Develop and implement formal methods for verifying the correctness of smart contracts
- Collaborate with cross-functional teams to integrate formal methods into the software development lifecycle
- Conduct research and provide insights on advancements in formal verification techniques
Required Qualifications
- Master's or PhD in Computer Science, Mathematics, or a related field
- Experience with formal verification tools and techniques
- Strong programming skills in languages such as Haskell or similar
- Familiarity with blockchain technology and smart contracts
- Experience in research and development in formal methods
Create a free account to begin your remote job search with our expert-vetted listings, resume tips, and career tools.
COMPLETE JOB DESCRIPTION
The job description is available to subscribers. Subscribe today to get the full benefits of a premium membership with Virtual Vocations. We offer the largest remote database online...
Company Overview
Company Company Name
Headquarters Headquarters
Founded Founded
Website
The company description is available to subscribers. Subscribe today to get the full benefits of a premium membership with Virtual Vocations. We offer the largest remote database online...
Register free for worksheets, guides, and on-demand coaching to support your job search.
