Skills & Keywords
Automated ReasoningMachine LearningProgram analysisProgramming languageProgramming language type systemsSAT solvingSMT solvingSymbolic simulationTheorem ProvingType Systems
Job Description
Develop strategic plans for new business solutions; Lead design implement and deliver long term solutions; Mentor team members on advanced technical issues; Provide cross organizational technical influence; Solve complex automated reasoning problems;
View full postingSimilar Roles
A
Sr. Firmware Engineer, Annapurna Labs, Machine Learning Acceleration - Power and Performance
Amazoncom
Cupertino, California, USA
A
Sr. Data Engineer, Deal Tooling and Insights, Strategic Customer Engagements
Amazoncom
Seattle, Washington, USA
BH
Lead AI and Computer Vision specialist
Baker Hughes
IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2, Italy
D
Data Scientist - Predictive Analytics
Dormakaba
Sofia, BG