Find jobs in AI/ML, Data Science and Big Data
2 results
for SAT Solver
(Skill/Tech stack)
-
Software R&D Engineer, RTL Optimization Tools USD 136K-218KAdversarial Networks | C++ | Clock distribution | Clocking | Design for testabilitySenior-level Full TimeUS, CA, Santa Clara, United States19d 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