Create a free account to begin your remote job search with our expert-vetted listings, resume tips, and career tools.
Formal Methods Engineer
Job Summary
A company is looking for a Formal Methods Engineer - Research.
Key Responsibilities
- Develop formal artifacts and refine specifications throughout the development process
- Model system performance and produce prototypes and simulations
- Act as a liaison between researchers and developers, providing feedback and assisting in implementation
Required Qualifications
- A higher degree in Computer Science or a related field
- 2-3 years of experience in a functional language, preferably Haskell
- 2-3 years of experience in a dependent-typed language, preferably Agda
- Experience with formal methods and collaborating using Git
- Experience in domains such as networking, distributed systems, or blockchain applications is a bonus
Register free for worksheets, guides, and on-demand coaching to support your job search.
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...
Create a free account to begin your remote job search with our expert-vetted listings, resume tips, and career tools.
