A leading technology company is seeking a PhD student for an Applied Science Internship focused on automated reasoning techniques. Interns will tackle complex challenges, develop innovative approaches, and measure real-world impact while collaborating with cross-functional teams. The base salary range is USD 142,800.00 – 193,200.00 annually, augmented by comprehensive benefits including health insurance and 401(k) matching.#J-18808-Ljbffr