Drive high-impact research in software verification integrating AI technology. Collaborate to develop and test out new ideas within existing or new collaborative teams. Build and maintain state-of-the-art systems in this space. Collaborate in preparing technical papers and presentations. Work with product teams to ensure your technology has world-changing impact. Required: Doctorate in relevant field AND 3+ years related research experience OR Master's Degree in relevant field AND 4+ years related research experience OR Bachelor's Degree in relevant field AND 6+ years related research experience OR equivalent experience. Doctorate in relevant field AND 6+ years related research experience OR Master's Degree in relevant field AND 7+ years related research experience OR Bachelor's Degree in relevant field AND 9+ years related research experience OR equivalent experience. 8+ years related research experience. Experience publishing academic papers as a lead author or essential contributor. Experience participating in a top conference in relevant research domain. Active participation in engineering efforts in the above areas, with involvement in building and maintaining systems. Demonstrable ability to work in a multi-disciplinary team.