Find jobs in AI/ML, Data Science and Big Data
2 results
for Interactive theorem proving
(Skill/Tech stack)
-
Applied Scientist, Automated Reasoning USD 192K-260KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic SearchMid-level Full TimeNew York, New York, USA1d ago
-
Research Associate (Computer Science) SGD 60K-120KFormal verification | Interactive theorem proving | Language theory | Programming language | Programming language theoryMid-level Full TimeNTU Main Campus, Singapore3d ago