Senior Software Engineer, Formal Verification Engineer

Job description

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, or another security-related domain. - 3 years of experience building software for data privacy or security (e.g., identity and access management). - 3 years of experience testing, maintaining, or launching software products. Preferred qualifications: - Master's degree or PhD in Computer Science or related technical field. - 5 years of experience with data structures and algorithms. - 1 year of experience in a technical leadership role. - Experience developing accessible technologies. About the job: Google's software engineers develop the next-generation technologies that change how billions of users connect, explore, and interact with information and one another. Our products need to handle information at massive scale, and extend well beyond web search. We're looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data s...