Remote Senior Formal Methods Engineer - Innovation

Description:

• Develop formal artifacts early in the development process to ensure security, scalability, and sustainability of blockchain projects
• Refine specifications, designs, and prototypes to maintain high-quality standards
• Test critical steps and performance of systems using formal frameworks and tools
• Provide feedback to researchers and assist developers in implementing specifications into production systems
• Participate in knowledge sharing and continuous learning with other Formal Methods Engineers
• Contribute to code reviews, property-based tests, and custom static analysis tooling
• Work in an international team across multiple time zones
• Break down complex tasks into manageable items and work independently
• Share specialized knowledge with team members and collaborate effectively on joint tasks
• Work on strategic problems with internal and external groups

Requirements:

• Higher degree in Computer Science or a related field
• 3-5 years of experience in a functional language, preferably Haskell
• Proficiency in Git and formal methods
• Experience in networking, distributed systems, programming language design, or blockchain applications is a bonus
• Ability to work on difficult problems independently
• Strong communication skills to translate information for software engineers and researchers
• Broad understanding of formal methods techniques and project contexts
• Versatility, problem-solving skills, and ability to explain complex concepts effectively
• Eagerness to bring fresh ideas, seek feedback, and share knowledge
• Value diversity, encourage participation, and build credibility with stakeholders

Benefits:

• Remote work option
• Reimbursement for laptops
• New starter package for essential hardware
• Learning and development opportunities
• Competitive paid time off