Skip to main content

Reinforcement Learning AI Engineer for Verified Code

Posted today

logical intelligenceMillbrae (CA)

SENIORITY

Senior

Apply (opens in a new tab)

About the role

Logical Intelligence is seeking an AI Engineer to design, implement, and refine efficient LLM pipelines for scalable distributed training. You will join a team of AI experts and formal verification engineers to push the boundaries of logical reasoning and code correctness. You will work on pre-training, fine-tuning, and optimizing state-of-the-art LLMs, integrating results with other teams to deliver robust, verifiable AI solutions across Rust, Go, and smart contract tooling.

Before you apply

Applying takes about a minute. These four things decide how fast it moves after that.

Your profile is current

It's what we read first. Occupations, seniority and locations matter more than a long history.

Two examples you can talk through

Not a portfolio — just two pieces of work where you can explain the decisions and what you'd change.

A number in mind

What you're on now and what would make you move. We negotiate better when we know both.

Your notice period

Employers plan around it, and it's the question that stalls offers most often.

Once you apply, someone reads it and calls you before anything reaches the employer — usually within two working days.

More like this