Remote Senior Formal Methods Engineer

Description:

As a Senior Formal Methods Engineer at XSY, you will act as a bridge between product, research, architecture, and development.
You will develop formal artifacts early in the development process, refining specifications, designs, prototypes, and practical implementations.
Your work will contribute to the quality assurance of production system development, including testing critical steps and modeling system performance.
You will provide feedback to researchers and assist development teams in implementing and integrating their work.
Participation in knowledge sharing and continuous learning with other Formal Methods Engineers is expected.
Responsibilities include building formal artifacts, modeling system performance, producing prototypes, refining specifications, proving properties, communicating with researchers and developers, reporting on work, participating in code reviews, contributing to property-based tests, and working in an international team.

A higher degree in Computer Science or a related field is required.
Minimum 3-5 years of experience in a functional language, preferably Haskell.
Experience working with Git and formal methods is necessary.
Experience in networking, distributed systems, programming language design, or blockchain applications is a bonus.
Strong problem-solving skills, ability to understand and translate complex ideas, and solid software engineering skills are essential.
Ability to bridge research and engineering, explain complex concepts, and work on difficult problems independently.
Versatility, adaptability to a fast-paced environment, and continuous drive for fresh ideas are expected.
Strong communication skills, ability to spot opportunities for improvement, seek feedback, and share knowledge across projects.
Value diversity, build credibility with stakeholders, and work collaboratively with internal and external groups.