joblaze

Direct from source · No middlemen

Formal Verification Jobs in San Francisco

2 open positions · Updated 1 week ago

2 roles Mid 1, Senior 1 San Francisco, CA Full-time newest 1 week ago
Also hiring: automated reasoning Automated Testing Dynamic Analysis Fuzzing Static Analysis AI

Showing 2 of 2 positions

Search with filters →
Cogent Security
AI Research Engineer

Join Cogent Security as an AI Research Engineer to innovate in automated reasoning and AI-driven code analysis for cybersecurity.

Cogent Security San Francisco, CA $100k–$300k/yr Published 1 month ago
Dynamic Analysis formal verification automated reasoning Fuzzing AI/ML
Apply →
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 →

Related searches

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