Kasper Svendsen

Senior Software Engineer

Aarhus, Central Denmark Region, Denmark13 yrs 2 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

Expert in theoretical computer science and software verification.
Led multiple high-impact projects in distributed systems.
Strong background in designing scalable payment solutions.

Stackforce AI infers this person is a Backend-heavy Software Engineer with expertise in SaaS and Fintech.

Contact

Skills

Other Skills

AlgorithmsProgrammingSoftware DevelopmentDistributed SystemsC#.NETApache CassandraSQLNoSQLF#Domain Driven DesignSoftware DesignData StructuresMicrosoft SQL ServerGit

About

I am software engineer with a strong background in theoretical computer science and formal software verification. I am experienced in system design, domain modelling and verification of concurrent and distributed systems. I have worked on the design and implementation of highly-available distributed systems.

Experience

13 yrs 2 mos

Total Experience

1 yr 10 mos

Average Tenure

3 yrs 8 mos

Current Experience

Github

Senior Software Engineer

Sep 2022 – Present · 3 yrs 8 mos · Århus, Midtjylland, Danmark

I work on the compiler for the CodeQL language that powers GitHub’s code scanning product.

Uber

2 roles

Senior Software Engineer

Promoted

Sep 2021 – Aug 2022 · 11 mos

I worked as a software engineer on an infrastructure team building Uber's cloud platform and deployment system for stateless services. I have led a project to automate movement of services between Uber's compute clusters to improve resource utilisation. I am currently leading a project to extend Uber's cluster federation layer with support for scheduling compute workloads on Kubernetes clusters.

Software Engineer

May 2020 – Sep 2021 · 1 yr 4 mos

Danske bank

2 roles

Senior Software Engineer

Promoted

Jul 2019 – May 2020 · 10 mos · Aarhus

Tech lead for the MobilePay Point-of-Sale team. I lead the design of a payment API and backend to support mobile in-store payments. I was a subject-matter expert on Cassandra at MobilePay and lead a migration from an active/passive setup to an active/active Cassandra cluster setup across all MobilePay teams.

Software Engineer

Sep 2017 – Jul 2019 · 1 yr 10 mos · Aarhus

University of cambridge

Postdoctoral Researcher

Sep 2015 – Aug 2017 · 1 yr 11 mos · Cambridge, UK

I worked as a postdoctoral researcher at the University of Cambridge on a 2-year postdoc grant from the Danish Council for Independent Research. My research was focused on developing reasoning principles for languages with realistic memory models that account for the observable behaviours that can arise in multi-threaded programs from reordering of memory operations and compiler optimizations.

Aarhus university

Postdoctoral Fellow

Sep 2013 – Aug 2015 · 1 yr 11 mos · Århus området, Danmark

I worked for 2 years as a postdoctoral fellow in the “Logic and Semantics” group at Aarhus University. My research was focused on developing logics for reasoning about lock-free and non-blocking data-structures and developing mathematical techniques for modelling such logics.

Issuu

Software Engineer

May 2013 – Aug 2013 · 3 mos · Københavnsområdet, Danmark

It university of copenhagen

Postdoctoral Researcher

Oct 2012 – Apr 2013 · 6 mos

Microsoft research cambridge

Research Assistant

Jul 2011 – Sep 2011 · 2 mos · Cambridge, Storbritannien

During my PhD I worked as a research assistant for three months in the “Programming Principles and Tools” group at Microsoft Research Cambridge as a summer intern. During the internship, I verified the correctness of the C# Joins library – a library developed by Microsoft Research to provide a declarative interface for defining custom synchronization primitives and concurrent data structures in .NET.