Senior Software Engineer - Core Platform, Language Design

Festina Finance; Hareskovby; Hybrid; DKK 900,000 - 1,200,000; Full time

Job summary

Festina Finance seeks a Senior Software Engineer to evolve configuration solutions for its Life and Pension platform, enabling business specialists to define and change behavior across Europe.

You will work at the intersection of programming language design, verification, and sophisticated business logic, designing systems used by major pension funds, banks and insurers with autonomy and impact.

Qualifications

• Strong software engineering fundamentals.
• A verification-driven mindset you enjoy building robust validation and verification.
• Ability to take an idea from design to implementation while owning responsibility.
• Experience designing large-scale solutions for customers with active production systems.
• A highly critical and detail-oriented mindset at the core of calculations.
• Strong collaboration skills in design exploration.
• Master’s degree in computer science or equivalent experience.

Responsibilities

• Language, semantics and verification: Extend the syntax and semantics of F+, and strengthen verification logic to ensure configuration is correct before production.
• Systems and architecture: Evolve the version control system for F+, including DB design, API design, caching, concurrency, and performance.
• Tooling and operations: Build configuration tools, CI pipelines, monitoring, and production cluster operations.
• Domain and customers: Translate business domains into working solutions and address complex customer issues directly.

Skills

Software engineering

Verification mindset

Idea-to-implementation

Large-scale systems

Attention to detail

Collaboration

Master's degree

Education

Master's degree in computer science

Job description

Festina Finance seeks a Senior Software Engineer to evolve configuration solutions for its Life and Pension platform, enabling business specialists to define and change behavior across Europe.

You will work at the intersection of programming language design, verification, and sophisticated business logic, designing systems used by major pension funds, banks and insurers with autonomy and impact.