Find jobs in AI/ML, Data Science and Big Data
7 results
for SMT
(Skill/Tech stack)
-
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, USA6d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KApplied Research | Automated Reasoning | Privacy | Program analysis | Programming languageFlexible work hours | Mentoring | Training and career growth | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA6d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATDEI Events | Flexible work hours | Learning and career growth resources | Mentoring and knowledge sharing | Work-life balanceMid-level Full TimeAustin, Texas, USA6d 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 R9d ago
-
Allen Bradley | Circuit card assemblies | Creo | Design for Assembly | ERPRelocation assistance | Travel to support programsSenior-level Full TimeMNPL01, United States12d ago
-
Project Manager, Manufacturing Analytics USD 100K-150KAssembly processes | Design for manufacturability | Documentation | Electromechanical hardware | Inspection PlanningCaregiver and wellness leave | Commuter benefits | Family planning and parenting support | Generous time off | Income protectionMid-level Full TimeCosta Mesa, California, United States1mo ago
-
Staff Advanced Concepts Optimization Engineer USD 130K-240KAdjoint methods | Automatic Differentiation | CasADi | Cloud Computing | Computational Fluid DynamicsSenior-level Full TimeSan Jose, California, United States1mo ago