Share this Job

Master Thesis - Offline payments v2.0

Location:  Munich
Stellen-ID:  18264

G+D makes the lives of billions of people more secure. We develop innovative products and solutions to safeguard payment processes, identities, connectivity, and data. With more than 160 years of experience behind us, we approach each day with renewed energy and passion. We are an international technology group and traditional family-owned company, with over 11,000 employees in 32 countries.
Creating Confidence is our path to success; and it could soon be yours, too.

This project is concerned with a novel payment system developed at G+D. The payment product is developed by an inter-disciplinary team using a variety of technologies and programming language. In this thesis, you will be working on the mathematical core library of the payment system, which is modelled in the proof assistant Isabelle and the model checker TLA+. The purpose of this model is to give high assurance about crucial properties, such as prevention of double spending, impossibility of creating new money, or integrity of low-level payment transactions. Your task is to research optimizations of our payment protocols and apply them to the model, especially relating to offline payments. When completed, this allows us to make more efficient payments.


What we expect you to do:

  • Make yourself familiar with the formal mathematical model of our payment system and its implementations in hardware and software
  • Identify and validate protocol optimizations that lead to more efficient payment transactions
  • Identify further areas of implementation in hardware and software that are not currently covered by, but could benefit from a formal model
  • Work together with the hardware and software teams to test optimizations in practice


What kind of skills are we looking for:

  • You are a student in computer science, mathematics or related fields
  • You have either experience in or the willingness to learn and apply logic and formal reasoning

$$  $$ Madunja Ganesharajah $$ $$ 0049 1723727090 $$ $$

We are looking forward to receiving your application!

Giesecke+Devrient advance52 GmbH
Prinzregentenstr. 161, 81677 Munich
The future is where we are.
I'm proud of what we do: