Minimum qualifications: Bachelor’s degree or equivalent practical experience. 5 years of experience with software development in one or more programming languages. 4 years of experience working in the area of formal verification, in the area of cryptography,