Principal Engineer, System Specification & Verification

Anaplan; City Of London; On-site; GBP 80,000 - 120,000; Full time

Job summary

A leading technology firm in London is looking for a Principal Software Engineer. This role involves applying formal methods for the verification of complex systems. The ideal candidate should have a strong foundation in computer science and be passionate about software correctness. Responsibilities include developing verification frameworks and mentoring engineers. The company values diversity and fosters an inclusive culture, making it a fantastic place to work.

Benefits

Diversity and inclusion initiatives

Opportunities for professional development

Qualifications

• Professional experience in developing and testing large-scale software systems.
• Understanding of requirements engineering and systems design.
• Experience with Property Based Testing and Behaviour Driven Development.

Responsibilities

• Drive and apply formal methods to verify complex systems.
• Advocate for correctness-first approaches to improve quality.
• Develop verification frameworks that integrate formal specifications.

Skills

Formal methods

Software correctness

Domain modeling

Language design

Functional programming

Education

Strong academic foundation in computer science

Tools

DSLs

JVM languages

Automated testing tools

Job description

A leading technology firm in London is looking for a Principal Software Engineer. This role involves applying formal methods for the verification of complex systems. The ideal candidate should have a strong foundation in computer science and be passionate about software correctness. Responsibilities include developing verification frameworks and mentoring engineers. The company values diversity and fosters an inclusive culture, making it a fantastic place to work.