Find jobs in AI/ML, Data Science and Big Data
2 results
for Proof assistants
(Skill/Tech stack)
-
Senior Applied Scientist, Neuro-Symbolic AI Labs USD 167K-226KAgile | Machine Learning | Neuro-Symbolic | Neuro-symbolic AI | Proof assistantsHybrid work options | Learning resources | Mentorship | Research collaborations | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA17d ago
-
Principal Applied Scientist, Neuro-Symbolic AI Labs USD 198K-269KC++ | Java | Neuro-Symbolic | Neuro-symbolic AI | Proof assistantsSenior-level Full TimeBoston, Massachusetts, USA25d ago