- Do you want to learn how to build formally correct software?
- Are you passionate for computer science and mathematics?
- Are you strong in programming?
- Do you like to make proofs?
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.
Our aim is to to bridge the programmer and formal proof worlds, such that an functional correct software is build in an efficient way.
Your job will be to make Rust code, where formal semantics shall be defined and you will prove the correctness of the implementation. We have already selected the tool chain to be used, where you will make proof of concept work for a selected security functionality. You will make your own complete component and perform correctness proof herof.
You are most likely 2nd year master student or just started as master student in computer science, mathematics or engineering.
Qualifications:
One or more of the following:
- Courses with Computer Science or Software;
- Courses within Logic;
- Courses within Mathematics;
- Strong skills related to proofs;
- Strong design and programming skills;
- Team player with a high drive.
Practical information:
- Location: INCUBA, Aarhus, Denmark.
- Part time depending on your studies and our office hours.
- Personal Security Clearance (PSC) is not required for the student job. However, we hope you will become a fulltime employee later, where a PSC is required. For that reason, you shall have a clear criminal record and have been living in a NATO or EU country for at least the last 7 years.
About Confiware
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 within High Grade Security Services for Defence and Critical Infrastructure.
Assignments are conducted primarily in Northern Europe, including Denmark, Norway, Sweden and Germany to both Defence Industry and directly to Government.
More than 20 years of Cyber Security experience by more than 70 assignments for a number of none-disclosed customers and cooperation with Security Authorities and accredited IT Security Evaluation Facilities (ITSEF).
Questions and Apply:
If you have any questions please do not hesitate to contact Arne on asp@confiware.com or on phone 29870402.
Please send your application, CV and listing of your university courses with grades to asp@confiware.com. No application deadline — first serve basis.