Technical Specialist - AI / Computer Science
MGM Resorts International
About this role
An ARIA Technical Specialist will catalyse breakthroughs in AI-enabled formal methods, working on the Safeguarded AI programme to develop mathematical assurance tools. The role involves technical leadership, project management, and collaboration with researchers and teams across the R&D ecosystem.
Skills
Qualifications
About MGM Resorts International
mgmresorts.comMGM Resorts International (NYSE: MGM) is a global gaming, hospitality and entertainment company operating 31 hotels and casinos worldwide. Its integrated resorts combine gaming with hotels, dynamic meeting and convention spaces, live shows, dining and nightlife. MGM serves both leisure and business travelers and promotes direct bookings through its platform. The company positions itself as a provider of large-scale entertainment experiences and destination hospitality.
Recent company news
Business WireWoof.Play.Eat. Brings First-of-Its-Kind Integrated Dog Park, Restaurant, and Bar to Portland, Maine
Jan 12, 2026
News 9Bar K announces sudden closure of all locations, including Oklahoma City
Jul 29, 2025
Fort Collins Country RadioMain Street Windsor Closed After Restaurant Fire
Jun 30, 2025
The ColoradoanChimney Park recognized as one of continent's best
Jan 10, 2017
OKC VeloCityBar K looking forward to 2021 opening
Oct 7, 2020
About MGM Resorts International
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for MGM Resorts International.
Salary
$52k – $63k
per year
More jobs at MGM Resorts International
Similar Jobs
Mathematical Formalization Specialist - Remote
Labelbox
Machine Learning and AI Specialist-Associate Principal Scientist
AstraZeneca
AI Specialist - Representation and Reinforcement Learning
Xanadu
Mathematical Formalization Specialist - Remote
Labelbox
AI Developer – Agentic System
Xanadu
Mathematical Formalization Specialist - Remote
Labelbox