Hi, We have an open position in industry leading formal product Jasper from Cadence. The position is in Bangalore and we are interested in recently completed PhDs in formal domain. Looking for people who are passionate about formal/coding and making an impact with their knowledge in Jasper. Please write to me directly at ravipr@gmail.com or ravipr@cadence.com for further details. Thanks Ravi