Formal Methods Engineer
Company: VirtualVocations
Location: Brooklyn
Posted on: February 1, 2025
|
|
|
Job Description:
A company is looking for a Formal Methods Engineer in Innovation
R&D.
Key Responsibilities
Develop formal artifacts based on research, architecture, and
business requirements
Model performance of formally specified systems and produce
prototypes and simulations
Act as a bridge between researchers and developers, providing
feedback and assisting in implementation
Required Qualifications
A higher degree in Computer Science or a related field
A minimum of 2-3 years of experience in a functional language,
preferably Haskell
Experience working with Git and formal methods
Experience in networking, distributed systems, programming language
design, or blockchain applications is a bonus
Demonstrated ability to work independently on complex problems
Keywords: VirtualVocations, East Orange , Formal Methods Engineer, Engineering , Brooklyn, New Jersey
|
Click
here to apply!
|
