1 ai research scientist job at 1 company in Vancouver, WA
PromotedHiringCafe
Founding Machine Learning / AI Search Engineer
Cupertino, CA, US
$160k-$310k/yr On-SiteFull Time
Build the ML and AI search behind HiringCafe — ranking, recommenders, retrieval, and LLM agents that surface jobs people would never find on their own.
Python, PyTorch, Elasticsearch, LLMs
2mo
Save
Mark Applied
Hide
Applied Scientist, Agentic Automated Reasoning Group
Boston or Austin or Portland
$143k-$193k/yr HybridFull Time
5+ YOEPhD or Master's with 5+ years CS/CE/ML or related field; experience in formal verification and theorem proving; strong programming in Java/C++/Python; publications or patents; knowledge of AI and model checking.
Java, C++, Python, Lean, Coq