Find jobs in AI/ML, Data Science and Big Data
2 results
for SMT solver
(Skill/Tech stack)
-
Algorithms | C++ | Concurrent programming | Coverage metrics | Data Mining401k matching | Health insurance | Paid time off | Parental leaveMid-level Full TimeAustin, Texas, USA6d ago
-
ASP Solver | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefits | Work-life balanceEntry-level Full TimeHelsinki, FI1mo ago