The student programmer 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.
Your job will be to make C code for stdlib, where formal semantics shall be defined and you will prove the correctness of the implementation. The library shall be in accordance with a subset of ISO/IEC 9899. Some of the code will be very close to the selected hardware platform and will require good low level knowledge. Tools and specification language have already been selected.
You are most likely just started as master student in computer science, mathematics or engineering.
Confiware is providing cyber security consultancy services for product development and system accreditation/certification in close collaboration with our customers.
Confiware is a privately owned company by Emmik Holding ApS and was established in December 2007 by Arne Stig Peters. Every year since Confiware was founded the company has been profitable and is today a well consolidated R&D consultancy provider.
If you have any questions please do not hesitate to contact Arne on firstname.lastname@example.org or on phone 29870402.
Please send your application, CV and listing of your university courses with grades to email@example.com. No application deadline — first serve basis.