Share this Job

Master Thesis - Go code generation

Location:  Munich
Stellen-ID:  18281

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. 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 extend this model to support code in the Go programming language. When completed, this allows us to integrate the mathematical core library seamlessly within the other parts of the product implemented in Go.


What we expect you to do:

  • Make yourself familiar with the formal mathematical model of our payment system and our Go implementation and identify the missing pieces for full interoperability
  • Extend the underlying system (Isabelle proof assistant) to support Go code generation natively
  • Adapt existing code generation facilities for high-performance code (such as loops and arrays) to Go
  • Test the Go integration and ensure that it works correctly within the broader product


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
  • You have experience in, or taken a course on compiler construction

$$  $$ 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: