Find jobs in AI/ML, Data Science and Big Data
14 results
for SAT
(Skill/Tech stack)
-
Junior Robotics Automation Engineer EUR 35K-42KAutomated Quality | Automated Quality Inspection | Automation | Collaborative robots | Digital TwinEntry-level Full TimeOrly4d ago
-
Software Engineer, Data Engineering, LOKI USD 166K-220KAPIs | Algorithms | Apache Tinkerpop | BOM | C++Health benefits | On-call rotation support | Recovery BenefitsMid-level Full TimeSanta Ana, California, United States5d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA18d ago
-
Applied Scientist, AWS Science of Security USD 142K-223KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT401k matching | Adoption reimbursement | Dental insurance | EAP | Flexible spending accountsMid-level Full TimeSeattle, Washington, USA18d 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, KR23d 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, Canada23d ago
-
Robotics/Logistics Technical Lead USD 119K-153KASRS | Alarm and Diagnostic Standards | Architecture governance | Cause analysis | CommissioningSenior-level Full TimeGuaynabo, PR1mo 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 …1mo 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