Find jobs in AI/ML, Data Science and Big Data
19 results
for SAT
(Skill/Tech stack)
-
Robotics deployment project coordinator / Coordinateur·rice Projets Déploiement Robotique (H/F) EUR 39K-40KAGV | Acceptance Testing | Actuators | Automation | Business caseInternational travelMid-level Full TimeMonchengladbach, Germany6d ago
-
Robotics deployment project coordinator / Coordinateur·rice Projets Déploiement Robotique (H/F) EUR 39K-40KAGV | Actuators | Automation | Budgeting | Business caseCross-functional collaboration | International travel availableMid-level Full TimeMonchengladbach, Germany6d 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 States12d ago
-
Junior Robotics Automation Engineer EUR 31K-42KActuators | Automated Quality | Automated Quality Inspection | Digital Twin | FATEntry-level Full TimeWissous12d 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, USA13d 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, USA19d 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, USA19d 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, USA19d 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, USA19d 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, USA20d 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, USA20d ago
-
Mid-level Full TimeDenton Office, United States R22d ago
-
ABB | Acceptance Testing | Commissioning | Cycle time | Cycle time optimizationContinuous engineering development | International travel opportunitiesSenior-level Full TimeSant Fruitós de Bages, Spain1mo ago
-
VLSI Optimization Engineer (Neihu) TWD 1000K-1300KAlgorithms | Circuit design | Constraint Satisfaction | Constraint satisfaction problems | DRCMid-level Full TimeTaipei, Taipei City, Taiwan1mo ago
-
Assembly Process Engineer - Automation & Robotics PLN 84K-108KCause analysis | Commissioning | Cycle time | Cycle time analysis | Electrical SystemsEmployment stability | Free parking | Group insurance | Other social services | Private health careMid-level Full TimeKleszczów, Śląskie, PL1mo ago
-
Automation and Robotics Engineer BRL 54K-60KAMR | Actuators | Automation | Collaborative robots | CybersecuritySenior-level Full TimeItajuba, Brazil1mo ago
-
Automation and Robotics Engineer BRL 54K-60KAutomation | Business case | Business case development | Case Development | CybersecuritySenior-level Full TimeItajuba, Brazil1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Work-life balanceMid-level Full TimeSeattle, Washington, USA1mo ago
-
Sr. Applied Scientist, Cedar Authorization USD 153K-235KC++ | Cedar | Constraint Solving | Formal verification | GoConference presentation opportunities | Mentorship | Open source community engagementSenior-level Full TimeFI, Virtual R1mo ago