Are you ready to drive innovation in cryptographic software verification and be a part of a new and growing team in Padova? Join us as a Senior Staff Engineer Crypto Software Verification, where you’ll shape advanced verification systems for embedded cryptographic software, ensuring robust frameworks, seamless automation, and compliance with industry standards. If you thrive on solving complex challenges and collaborating with a team of talented engineers, this is your chance to contribute to the future of secure technology!Job Description You will develop and enhance verification frameworks, program and integrate test environments for embedded cryptographic software, and ensure compliance with industry standards through automated workflows, rigorous testing, and audit-proof documentation.In your new role you will:Program verification software for embedded cryptographic software on Infineon’s security controllers primarily based on ARM and RISC V architectures Improve and further develop a verification framework, and its architecture and design Be responsible for testing, integration, and documentation of embedded cryptographic software components according to requirements and standards Integrate and maintain the test environment into an automated build flow Work in a distributed and highly collaborative team and closely with software developers, QA and compliance experts Take responsibility for audit-proof documentation of the work results and presentation of these in audits and reviews Your Profile You are a reliable and focused professional who works well under pressure and always meets deadlines with determination. You are willing to take smart risks and work closely with your team to ensure success, while constantly finding ways to improve and make things more efficient. With your ability to collaborate easily and effectively, you help deliver great results even in challenging situations.You are best equipped for this task if you have:A Master's degree in Electrical Engineering, Mathematics or Computer Science At least 8 years of professional experience with the concepts and development of tests and test environments in the area of embedded software development At least 3 years of professional experience in verification of cryptographic algorithms such as ECC and RSA High experience in dealing with test systems as well as in the design and implementation of test systems Excellent experience with programming languages such as Python, C/C++, Windows and Bash scripting High experience in working with version control systems and configuration management Experience with ASPICE, ISO26262 & ISO21434 (Cybersecurity) Fluency in English, German is an advantage Please send us your CV in English .Please note that as part of the selection process, the successful candidate will be required to provide a valid police certificate. Contact: Regan Lottering, LinkedIn#WeAreIn for driving decarbonization and digitalization. As a global leader in semiconductor solutions in power systems and IoT, Infineon enables game-changing solutions for green and efficient energy, clean and safe mobility, as well as smart and secure IoT. Together, we drive innovation and customer success, while caring for our people and empowering them to reach ambitious goals. Be a part of making life easier, safer and greener.Are you in?– Connected Secure Systems (CSS) is at the core of IoT and edge AI – The CSS division is at the core of the IoT and edge AI, offering microcontroller, connectivity (Wi-Fi, Bluetooth/Bluetooth Low Energy, and ultra-wideband (UWB) technologies), security, and AI/ML solutions. By combining hardware and software, we are addressing the needs of a diverse customer base with easy-to-use, trusted, and scalable systems.Our portfolio serves a broad range of applications, including industrial, smart home, automotive, health and lifestyle, home appliances, media and gaming,