joblaze

Direct from source · No middlemen

Senior Formal Verification Jobs

2 open positions · Updated 1 week ago

2 roles Senior 2 5 yrs experience New York City, San Francisco, CA Full-time newest 1 week ago
Also hiring: AI automated reasoning Automated Testing AWS Chaos Engineering code analysis

Showing 2 of 2 positions

Search with filters →
Cogent Security
AI Research Scientist

Drive high-impact research in automated reasoning and AI-driven security at a rapidly growing applied AI lab.

Cogent Security San Francisco, CA $100k–$300k/yr Published 1 month ago
Dynamic Analysis code analysis formal verification automated reasoning Fuzzing
Flexible on stack
Apply →
The Better Money Company
Senior Platform Engineer (Money Movement Systems)

Join a small team to build a stablecoin clearinghouse as a Senior Platform Engineer focused on correctness and efficiency.

The Better Money Company New York City Published 2 months ago
TypeScript property-based testing formal verification AWS Temporal
Flexible on stack
Apply →

Related searches

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