joblaze

"formal methods" Jobs

2 open tech roles matching “formal methods”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: program analysis, Dynamic Analysis, programming languages. Every listing is re-checked daily and closed roles are removed.

Showing 2 of 2 results

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 4 months ago
program analysis programming languages AI/ML Agentic AI formal methods
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 Methods Formal Methods Remote Senior Formal Methods Junior Formal Methods Formal Methods in London Formal Methods in New York Program Analysis Dynamic Analysis Programming Languages