Find jobs in AI/ML, Data Science and Big Data
2 results
for SMT solving
(Skill/Tech stack)
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Machine Learning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Training and career growth | Work-life balanceSenior-level Full TimeSeattle, Washington, USA9h ago
-
ASP Solving | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefitsEntry-level Full TimeHelsinki, FI17d ago