Research Engineer

About the role

Research an advanced programming language theory and apply formal verification techniques using model checking, theorem proving, and Haskell to develop high-assurance critical systems.

Responsibilities

• Develop and refine algorithms for model checking and theorem proving in Haskell
• Collaborate with cross-functional teams to integrate formal verification into system development processes
• Contribute to the design and implementation of safety-critical software systems
• Write and maintain comprehensive documentation for project deliverables

Requirements

• Bachelor's degree in Computer Science, Mathematics, or related field
• Experience with formal methods and formal verification tools
• Strong background in programming languages and formal semantics
• Proficiency in Haskell and other relevant programming languages
• Experience with model checking and theorem proving techniques
• Excellent problem-solving and analytical skills

Qualifications

• PhD in Computer Science or related field preferred
• Experience with safety-critical systems development
• Knowledge of hardware/software co-design methodologies

Skills

• Model Checking
• Theorem Proving
• Haskell Programming
• Formal Methods
• Software Development

Benefits

• Competitive compensation package
• Flexible work schedule options
• Professional development opportunities
• Health and wellness programs

Pay

Commensurate with experience

Schedule

Remote-friendly

Locations

• Arlington, VA
• Dayton, OH, USA
• Minneapolis, MN, USA
• Portland, OR, USA
• Boston, MA, USA