Point your AI agent at freehire and let it find you a job. A CLI and an MCP server over the whole job API — no browser.
Designs and optimizes large language models and reasoning pipelines for formal code verification, using Python/C++ and PyTorch/JAX in a San Francisco office.
Designs and refines ML data pipelines for distributed training and validation of AI models that enable formally verifiable software, using Python/C++ and frameworks like PyTorch/TensorFlow.
We couldn't check your fit for this role — add a CV to your profile to see it next time.