Find jobs in AI/ML, Data Science and Big Data
15 results
for SAT
(Skill/Tech stack)
-
Advanced Quantum Compiler Engineer - 891 USD 120K-202KC++ | Circuit optimization | Compiler design | Compiler infrastructure | Correctness VerificationMid-level Full TimeUS Broomfield, CO3d ago
-
AGV | AMR | B2B technical sales | Commissioning | Cross-Functional CollaborationCompany Health Screening | English training support | Flexible work hours | Incentive pay | Meal supportSenior-level Full TimeSeoul, KR3d ago
-
ABB Robotics | Commissioning | Continuous Improvement | Control drawings | Electrical schematicsAnnual profit-sharing | Banked hours program | Career planning and goal setting | Company events | Employee Assistance Program (EAP)Senior-level Full TimeLondon, Ontario, Canada3d ago
-
Robotics/Logistics Technical Lead USD 119K-153KASRS | Alarm and Diagnostic Standards | Architecture governance | Cause analysis | CommissioningSenior-level Full TimeGuaynabo, PR12d ago
-
Robotics Software Engineer – Cell Therapy Automation USD 122K-184K21 CFR Part 11 | AWS | Azure | Batch records | Business ContinuityEquity based awards eligibility | Health, dental and vision coverage | Hybrid working | Paid time off | Qualified Retirement ProgramsMid-level Full TimeUS – Tarzana – CA, United …13d ago
-
Staff Robotics Engineer USD 161K-221K3D localization | Automation | C# | Cause analysis | Cloud deployment401k retirement plan | Commuter benefits | Dental coverage | Disability insurance | EAPSenior-level Full TimeAustin, Texas, United States1mo ago
-
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq401k matching | Flexible work hours | Paid time off | Parental leaveSenior-level Full TimeNew York, New York, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAWS | Automated Reasoning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeAustin, Texas, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and development resources | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-222KAutomated Reasoning | Mechanical theorem proving | Privacy | Problem Solving | Program analysisFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA1mo ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Mentoring culture | Work-life harmonySenior-level Full TimeSeattle, Washington, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-223KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Inclusive culture | Learning and training resources | Mentoring | Work-life balanceMid-level Full TimeSeattle, Washington, USA1mo ago
-
Mid-level Full TimeDenton Office, United States R1mo ago
-
ABB | Acceptance Testing | Commissioning | Cycle time | Cycle time optimizationContinuous engineering development | International travel opportunitiesSenior-level Full TimeSant Fruitós de Bages, Spain1mo ago