Internship | Computer-Aided Cryptography

1 maand geleden


Eindhoven, Nederland TNO Voltijd

About this position

Have you always wanted to contribute to data security and privacy? Become a master thesis intern at the Applied Cryptography and Quantum Algorithms department at TNO, where you will conduct your research at the forefront of cryptography Cryptography is the building block for secure computations and communications. Designing and implementing cryptography is an error-prone process. Even if the design is secure, the implementation of the cryptographic specification can be vulnerable due to programming mistakes. It is possible that the implementation diverges from the specification, but even when it is functionally correct, it can still leak information through side-channel vulnerabilities.

What will be your role?

Recent efforts in the research community have focused on computer-aided cryptography, where formal methods are introduced to provide formal guarantees of

the correctness of cryptographic proofs, security properties of cryptographic protocols, the correctness of software implementations of cryptographic specifications, and the absence of side-channel vulnerabilities in software implementations of cryptographic specifications.

Computer-aided cryptography is a fast-growing area of research where many research questions still remain unanswered. This is where you come in
Possible research directions include, but are not limited to:

automated protocol analysis, cryptographic proof verification, secure software compilation, and verification of correctness properties and side-channel security of cryptographic implementations.

What we expect from you

You thrive on conducting research that will make a mark on information security. As you’ll be spending between six and nine months researching for your Master’s thesis, you are highly motivated to contribute to the fast-moving field of cryptography and information security in a multi-disciplinary environment. And you enjoy learning from the best and working with colleagues from different backgrounds.
Other knowledge and skills you bring to TNO:

A University Bachelor’s Degree. You must be in the final phase of your Master’s Degree training in mathematics or computer science. Experience with programming and cryptography. Experience with, or a keen interest in formal methods / computer-aided cryptography, helping you master the topic within the first few months of your internship. An excellent command of English at academic level.

What you'll get in return

You want to work on the precursor of your career; a work placement gives you an opportunity to take a good look at your prospective future employer. TNO goes a step further. It’s not just looking that interests us; you and your knowledge are essential to our innovation. That’s why we attach a great deal of value to your personal and professional development. You will, of course, be properly supervised during your work placement and be given the scope for you to get the best out of yourself. Naturally, we provide suitable work placement compensation.



  • Eindhoven, Nederland Sioux CCM Voltijd

    Internship assignment or graduation internship for MSc students with a background in Mathematics, Physics, Data Science, Mechanical engineering, Aerospace Engineering, etc. Internship overview Master Student Internship assignment Mathware Technologies Image Analysis Machine Learning Computational Physics Data Science Optimization Operations...


  • Eindhoven, Noord-Brabant, Nederland Philips Voltijd

    Starting Date : September, 2 2024Duration : 6-9 monthsLocation : EindhovenContract: 40h/weekThis internship is not suitable for thesis.Your role: You will implement new objects into our database, improve the processes around Azure SQL Database, define and Use Azure Pipelines, analyze and test on complex queries before being delivered to the customers, get a...


  • Eindhoven, Nederland Philips Voltijd

    Starting Date : September, 2 2024 Duration : 6-9 months Location : Eindhoven Contract: 40h/week This internship is not suitable for thesis. Your role: You will implement new objects into our database, improve the processes around Azure SQL Database, define and Use Azure Pipelines, analyze and test on complex queries before being delivered...


  • Eindhoven, Nederland TNO Voltijd

    Internship and graduation project Eindhoven Master Fulltime – 40 Internship | Optimization of Manufacturing Systems Apply now Delen op Facebook Delen op LinkedIn Delen op Twitter About this position Manufacturing systems are production facilities consisting of multiple machines that together fulfill customer jobs. A challenge in the optimization of...


  • Eindhoven, Nederland DAF Voltijd

    Job description The control system of modern cars and trucks consists of a network of many small electronic control units (ECU). This network is limited in its ability to scale for more complex features like self-driving or platooning. One solution to this scaling issue is to replace these smaller ECUs with larger high-performance computers (HPC). The...


  • Eindhoven, Nederland TNO Voltijd

    What will be your role? Introduction Cyber-physical systems consist of mechatronic components that are controlled by software. This control software typically includes a supervisory controller that orchestrates the interaction between the various system components. For industrial-scale systems the supervisory controller may be highly complex and...


  • Eindhoven, Nederland TNO Voltijd

    Internship and graduation project Eindhoven Master Fulltime – 40 Internship | Investigating the Best Practice of Research OSS Apply now Delen op Facebook Delen op LinkedIn Delen op Twitter About this position The absence of clear guidance on best practices of research projects in the open source world can create a knowledge gap that hinders...


  • Eindhoven, Nederland DAF Voltijd

    Job description For our NPR department, we are looking for an intern who will improve the current procedure of assigning suppliers to Commodity Manager codes.  As an intern, you will be responsible for the optimization of the current supplier/creditor assignment to commodity manager codes in our main System.  Your main responsibilities will...


  • Eindhoven, Nederland DAF Voltijd

    Job description You will be assisting the Internal Control Manager with testing all SOX controls and as well as other Compliance related controls within the control framework for all PFE locations. This will involve communicating with individuals at different levels within various countries. The objective is to assess whether the evidence provided and the...


  • Eindhoven, Nederland DAF Voltijd

    Job description At DAF we use Model Driven Development where the software is ‘written’. Or more specific, modelled. It makes our software readable for more than only our development. But modelling the complete functionality of an instrument cluster or diesel engine may lead to unreadable software due of its size. Therefore, we want to have...


  • Eindhoven, Noord-Brabant, Nederland DAF Voltijd

    Job descriptionYou will be assisting the Internal Control Manager with testing all SOX controls and as well as other Compliance related controls within the control framework for all PFE locations.This will involve communicating with individuals at different levels within various countries. The objective is to assess whether the evidence provided and the...


  • Eindhoven, Nederland DAF Voltijd

    Job description While most DAF trucks look similar, they can be very different under the hood. For example, some trucks have a diesel engine while others are electric. These different hardware variants of the truck also result in differences in the software. As there are a lot of possible combinations, in the order of 1000s, we are looking at a way...


  • Eindhoven, Nederland Texas Instruments Voltijd

    +++ please add a cover letter to your application +++We can’t predict what the future holds, but we know Texas Instruments will have a part in shaping it. Are you in the middle of your studies and looking for an exciting glimpse into the Chip-Industry? A Technical Sales Engineer internship may be a fit for you! Combine your technical skills with selling...


  • Eindhoven, Nederland DAF Voltijd

    Job description Our truck has a lot of ECUs, for two of them we make software ourselves. They are the powertrain controller (named PCI for diesel or PPC for battery electric trucks) and the vehicle controller (named VECU). The goal of this assignment is to investigate what parts of this system we could emulate, and to try and make this emulator. This...


  • Eindhoven, Nederland DAF Voltijd

    Job description You will be assisting the Internal Control Manager with testing all SOX controls and as well as other Compliance related controls within the control framework for all PFE locations. This will involve communicating with individuals at different levels within various countries. The objective is to assess whether the evidence provided...

  • Data Development Intern

    20 uur geleden


    Eindhoven, Noord-Brabant, Nederland Signify Netherlands B.V. Voltijd

    We're looking for a Data Development Intern to join our LED Electronics tools & services team in Eindhoven.Working for Signify means being creative and adaptive. Our culture of continuous learning and commitment to diversity and inclusion creates an environment that allows you to build your skills and career. Together, we're transforming our industry.As the...

  • Intern - IT Automation

    4 weken geleden


    Eindhoven, Nederland Signify Voltijd

    Eindhoven, Netherlands Category Intellectual Property Posted Date 04/19/2024 Job Id 349589 We’re looking for an IT intern to join our Intellectual Property in Eindhoven. Working for Signify means being creative and adaptive. Our culture of continuous learning and commitment to diversity and inclusion creates an environment that allows you to build...

  • Intern - IT automation

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland Signify Netherlands B.V. Voltijd

    We're looking for an IT intern to join our Intellectual Property in Eindhoven.Working for Signify means being creative and adaptive. Our culture of continuous learning and commitment to diversity and inclusion creates an environment that allows you to build your skills and career. Together, we're transforming our industry.As the world leader in lighting,...


  • Eindhoven, Nederland DAF Voltijd

    Job description As a Data Intern, you are part of the IT product development support team at DAF, located in Eindhoven, and responsible for creating a monitoring tool that allows multiple data sources into one easy-to-use tool.  Your main tasks and goals will be: You will be responsible for building an application monitoring tool for IT; The tool...

  • Intern - IT automation

    3 weken geleden


    Eindhoven, Nederland Signify Netherlands B.V. Deeltijd

    We’re looking for an IT intern to join our Intellectual Property in Eindhoven.Working for Signify means being creative and adaptive. Our culture of continuous learning and commitment to diversity and inclusion creates an environment that allows you to build your skills and career. Together, we’re transforming our industry.As the world leader in...