Reached out by a recruiter via email for the role of software verification engineer and there was an Initial phone screen for a contracting role. The phone screen consisted of technical question based on DSA Leetcode medium on strings.