Find jobs in AI/ML, Data Science and Big Data
12 results
for Automated Reasoning
(Skill/Tech stack)
-
ASP Solver | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefits | Work-life balanceEntry-level Full TimeHelsinki, FI16d ago
-
ASP Solving | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefitsEntry-level Full TimeHelsinki, FI16d ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA24d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KApplied Research | Automated Reasoning | Scientific innovationFlexible work hours | Knowledge sharing | Learning resources | Work-life harmonyMid-level Full TimeBoston, Massachusetts, USA27d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAWS | Automated Reasoning | Machine Learning | Privacy | ResearchFlexible work hours | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA27d 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, USA27d 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, USA27d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsCareer growth and training | Flexible work hours | MentorshipSenior-level Full TimeSeattle, Washington, USA27d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA27d 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, USA27d ago
-
2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting USD 142K-193KAbstract interpretation | Automated Reasoning | Boolean satisfiability | Bounded model-checking | Deductive verificationComputing Infrastructure | Mentorship | Relocation support | Research papersEntry-level Full Time InternshipSeattle, Washington, USA1mo ago
-
Automated Reasoning | Computer Vision | Language Processing | Machine Learning | Natural LanguageHousing assistance | Relocation assistanceEntry-level Full Time InternshipVancouver, British Columbia, CAN1mo ago