Vacatures
>
Eindhoven

    Internship | Computer-Aided Cryptography - Eindhoven, Nederland - TNO

    TNO
    TNO Eindhoven, Nederland

    4 dagen geleden

    Default job background
    StageSHIP
    Beschrijving

    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.



  • Synopsys Eindhoven, Nederland

    50113BR · - NETHERLANDS - Eindhoven · **Job Description and Requirements** · - Synopsys is a worldwide leading supplier of semiconductor IP used by our customers to build SOCs (Systems-On-Chip). The product portfolio includes IP components and subsystems for Security, USB, DDR, C ...


  • TU Eindhoven Eindhoven, Nederland

    **Job description**: · The Electrical Energy Systems (EES) group within the Department of Electrical Engineering of Eindhoven University of Technology (TU/e) seeks to hire an excellent Postdoctoral researcher within the field of pulsed power technology. · **Project description** ...


  • Fortanix Eindhoven, Nederland Voltijd

    Fortanix is a dynamic start-up solving some of the world's most demanding data protection challenges for companies and governments around the world. Our disruptive technology maintains data privacy across its entire lifecycle -- at rest, in motion, and in use across any enterpris ...

  • Base Cyber Security

    Security Lead

    1 week geleden


    Base Cyber Security Eindhoven, Nederland

    Drive shift left security in an agile working environment, championing and help putting in place / improving security processes, controls, tooling needed to support the product security of the organization. · Part of a global organization, leader in its industry, providing speci ...


  • Eindhoven University of Technology Eindhoven, Nederland

    Job description · Vision - Quantum Safe Communications Testbed in Eindhoven · Secure communications and networking have become a key cornerstone for the Internet enabling several trusted applications which we take for granted today. For example, services such as digital banking ...

  • Yacht Group Nederland BV

    Solution Architect

    1 week geleden


    Yacht Group Nederland BV Eindhoven, Nederland

    We are in search of a proactive NetSecOps Engineer specialist to bolster our team, focusing on our Web Authentication & Authorization Platform. The ideal candidate will boast a robust background in network security, performance, operations, and web technologies. They will be task ...

  • Sioux

    Software Test Designer

    1 week geleden


    Sioux Eindhoven, Nederland

    Short description · At Sioux Technologies it's all about making the pieces of the puzzle fit together, we can't do that without you, a driven Software Test Designer. · Sioux Technologies creates advanced software for the high-tech industry, closely aligned with increasingly comp ...


  • Eindhoven University of Technology Eindhoven, Nederland

    Job description · Vision - Quantum Safe Communications Testbed in Eindhovens · Secure communications and networking have become a key cornerstone for the Internet enabling several trusted applications which we take for granted today. For example, services such as digital bankin ...


  • TNO Eindhoven, Nederland StageSHIP

    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 indu ...


  • Eindhoven University of Technology Eindhoven, Nederland

    Job description · Vision - Quantum Safe Communications Testbed in Eindhoven · Secure communications and networking have become a key cornerstone for the Internet enabling several trusted applications which we take for granted today. For example, services such as digital banking ...

  • Eindhoven University of Technology

    Network Engineer

    1 week geleden


    Eindhoven University of Technology Eindhoven, Nederland

    Job description · Vision - Quantum Safe Communications Testbed in Eindhoven · Secure communications and networking have become a key cornerstone for the Internet enabling several trusted applications which we take for granted today. For example, services such as digital banking ...


  • TNO Eindhoven, Nederland StageSHIP

    About this position · At TNO we work with European partners towards enabling state-of-the-art technologies using the vast amounts of data being generated in the current age. We are seeing that in practice there is valuable data being locked away in organizations due to a difficu ...

  • Nouvall Engineering Services B.V.

    HSE Supervisor

    1 week geleden


    Nouvall Engineering Services B.V. Eindhoven, Nederland

    Bedrijfsomschrijving · Nouvall Engineering Services is specialized inproject support for the (petro) chemical and maritime industry. · We provide expertise in the field of Engineering,Project Management, Maintenance, Shutdowns, Construction andSafety. · Functieomschrijving · Basi ...

  • Sioux Technologies

    Software Test Designer

    2 dagen geleden


    Sioux Technologies Eindhoven, Nederland Voltijd

    At Sioux Technologies it's all about making the pieces of the puzzle fit together, we can't do that without you, a driven Software Test Designer. Sioux Technologies creates advanced software for the high-tech industry, closely aligned with increasingly complex equipment and appl ...


  • Eindhoven University of Technology Eindhoven, Nederland

    Job description · The Electrical Energy Systems (EES) group within the Department of Electrical Engineering of Eindhoven University of Technology (TU/e) seeks to hire an excellent Postdoctoral researcher within the field of pulsed power technology. · This is a 2-year salaried Po ...

  • Yacht

    Solution Architect

    1 week geleden


    Yacht Eindhoven, Nederland TEMPORARY

    We are in search of a proactive NetSecOps Engineer specialist to bolster our team, focusing on our Web Authentication & Authorization Platform. The ideal candidate will boast a robust background in network security, performance, operations, and web technologies. They will be task ...

  • ASML

    Security Engineer

    2 dagen geleden


    ASML Veldhoven, Nederland

    ASML · ASML gives the world's leading chipmakers the power to mass produce patterns on silicon, helping to make computer chips smaller, faster and greener. View company page · Is it your mission to protect organizations and their employees against cyber threats? And do you bel ...


  • ASML Veldhoven, Nederland Voltijd

    Introduction · Are you a Bachelor or a Master student in computer science or a related field looking for an apprentice or graduation internship? Are you passionate about Automation and Continuous Integration and are you familiar with Jenkins (CI/CD), Github actions, Python Scri ...


  • ASML Veldhoven, Nederland Voltijd

    Introduction · Are you a bachelor or master student in Electrical Engineering looking for an internship? Would you like to work in close collaboration with experienced architects and experts to develop enabling technology for next-generation lithography tools? Are you skilled ...


  • Yacht Veldhoven, Nederland TEMPORARY

    "Continuous innovation in electronics design is vital for ASML's ambitions as a technology leader." · "Excellent designs are characterized by the right balance between function, quality, cost, and logistical performance." · "Component choices determine the boundaries of design pe ...