Principal Software Engineer: Formal Methods & Verification

Anaplan; Manchester; On-site; GBP 52,000 - 68,000; Full time

Job summary

A leading technology firm in Manchester is seeking a Principal Software Engineer to focus on formal methods and scalable verification frameworks. The role emphasizes quality and correctness in software development, requiring a strong academic foundation in computer science and experience in large-scale systems. Candidates will mentor engineers and collaborate closely with teams to ensure rigorous specifications and testing practices.

Qualifications

• Minimum experience as an individual contributor and some as a technical lead for complex systems.
• Solid grasp of requirements engineering and systems design for large-scale systems.
• Mentoring capability and knowledge sharing within the team.

Responsibilities

• Work closely with engineering and product teams to codify design decisions.
• Develop verification frameworks and DSLs integrating formal specifications.
• Mentor and guide engineers in formal methods and scalable verification.

Skills

Software correctness

Domain modelling

Functional programming

Requirements engineering

Language design

Education

Strong academic foundation in computer science

Job description

A leading technology firm in Manchester is seeking a Principal Software Engineer to focus on formal methods and scalable verification frameworks. The role emphasizes quality and correctness in software development, requiring a strong academic foundation in computer science and experience in large-scale systems. Candidates will mentor engineers and collaborate closely with teams to ensure rigorous specifications and testing practices.