joblaze

Direct from source · No middlemen

Formal Methods Jobs

2 open positions · Updated 3 weeks ago

2 roles Junior 1, Staff 1 San Francisco, CA, San Francisco, CA | New York City, NY | Seattle, WA Full-time newest 3 weeks ago
Also hiring: Agentic AI AI/ML Applied Cryptography C/C++ cross-domain systems firmware security

Showing 2 of 2 positions

Search with filters →
Anthropic
Staff + Software Security Engineer, Labs Hybrid Visa

Join Anthropic as a Staff Software Security Engineer to lead high-risk security projects in AI systems.

Anthropic San Francisco, CA | New York City, NY | Seattle, WA $320k–$485k/yr Published 3 weeks ago
firmware security high-assurance systems hardware security hypervisor internals Go
Flexible on stack
Apply →
Cogent Security
Cogent AI Fellowship

Join Cogent AI Fellowship to transition research into production in the field of AI and cybersecurity.

Cogent Security San Francisco, CA $100k–$300k/yr Published 6 months ago
program analysis programming languages AI/ML Agentic AI formal methods
Apply →

Related searches

Formal Methods Remote Formal Methods in London Formal Methods in New York Formal Methods in San Francisco Formal Methods in Berlin Formal Methods in Amsterdam Python Ruby On Rails React Devops Machine Learning Golang