- 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.
- automated protocol analysis,
- cryptographic proof verification,
- secure software compilation, and
- verification of correctness properties and side-channel security of cryptographic implementations.
- 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.
-
R&d Manager for Security Products
22 uur geleden
Synopsys Eindhoven, Nederland50113BR · - 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 ...
-
Postdoc On Plasma-driven Co2 Upgrading
1 week geleden
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** ...
-
Cryptography Engineer Intern
1 week geleden
Fortanix Eindhoven, Nederland VoltijdFortanix 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 ...
-
Security Lead
1 week geleden
Base Cyber Security Eindhoven, NederlandDrive 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 ...
-
PostDoc for Quantum Safe Communications Systems and Networks
1 week geleden
Eindhoven University of Technology Eindhoven, NederlandJob 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 ...
-
Solution Architect
1 week geleden
Yacht Group Nederland BV Eindhoven, NederlandWe 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 ...
-
Software Test Designer
1 week geleden
Sioux Eindhoven, NederlandShort 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, NederlandJob 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 StageSHIPWhat 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 ...
-
Network and Lab Technician for Quantum Communications Testbed
2 dagen geleden
Eindhoven University of Technology Eindhoven, NederlandJob 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 ...
-
Network Engineer
1 week geleden
Eindhoven University of Technology Eindhoven, NederlandJob 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 ...
-
Internship | Graduating at data ecosystems department
1 week geleden
TNO Eindhoven, Nederland StageSHIPAbout 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 ...
-
HSE Supervisor
1 week geleden
Nouvall Engineering Services B.V. Eindhoven, NederlandBedrijfsomschrijving · 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 ...
-
Software Test Designer
2 dagen geleden
Sioux Technologies Eindhoven, Nederland VoltijdAt 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 ...
-
Postdoc on plasma-driven CO2 upgrading
4 dagen geleden
Eindhoven University of Technology Eindhoven, NederlandJob 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 ...
-
Solution Architect
1 week geleden
Yacht Eindhoven, Nederland TEMPORARYWe 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 ...
-
Security Engineer
2 dagen geleden
ASML Veldhoven, NederlandASML · 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 VoltijdIntroduction · 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 VoltijdIntroduction · 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 ...
-
Electronics design component engineer
3 dagen geleden
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 ...
Internship | Computer-Aided Cryptography - Eindhoven, Nederland - TNO
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
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:
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:
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.