Student programmer – Formally correct software

  • Do you want to learn how to build formally correct software?
  • Are you passionate for computer science and mathematics?
  • Are you strong in programming?

The student job is for an internal software development project at Confiware. You will be part of startup activities with potential to make your master thesis within high grade secure/safe software development.

You are most likely just started as master student in computer science or engineering.

Practical information:

  • Location: Copenhagen, Denmark
  • Part time
  • More information: Please contact Arne Stig Peters on


  • Please send your application and university course grades to