Senior Staff Engineer Crypto Software Verification

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 technologyJob DescriptionYou 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:Contribute to the embedded crypto library development, focusing on the verification and ensuring the quality and functional targets of the libraryFollow the process and project compliance by requirements and concept reviews, deriving test concepts, and ensuring required test coverageBe responsible for developing comprehensive test concepts, test implementation and prepare the documents and reportsBe responsible for the test concepts, the test implementation and execution, and documentation of embedded cryptographic software components to meet both the project and process targetsProgram verification software for embedded cryptographic software on Infineon's security controllers primarily based on ARM and RISC V architecturesDevelop and improve a verification framework, and its architecture and designIntegrate and maintain the test environment into an automated build flowWork in a distributed and highly collaborative team and closely with software developers, QA and compliance expertsTake responsibility for audit-proof documentation of the work results and presentation of these in audits and reviewsParticipate in quality and productivity improvement initiatives by suggesting ideas and learning from ongoing best practices and industry trendsActively contribute to an agile team environmentYour ProfileYou 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, Computer Science, or a comparable fieldAt least 6 years of professional experience in embedded software development, a strong background in verification concept, test development, and test automationTechnical leadership skills to lead a small team and give technical directionsProfessional experience in the verification of cryptographic algorithms such as ECC and RSAIn-depth know-how of embedded software toolchains like Clang, GCC, CMakeProven problem-solving and debugging skillsExperience with embedded test systems and test frameworksHigh proficiency with C, Python, and Bash scriptingSolid experience with git / GitLab for version controlHands-on knowledge of containerized tools like DockerExperience with ASPICE, Functional Safety & Cybersecurity is an advantageFluency in English, German is an advantagePlease 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,