joblaze

Direct from source · No middlemen

Automated Reasoning Jobs

3 open positions · Updated 1 week ago

3 roles Mid 2, Senior 1 New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, San Francisco, CA Full-time newest 1 week ago
Also hiring: Automated Testing Dynamic Analysis formal verification Fuzzing Static Analysis abstract interpretation

Showing 3 of 3 positions

Search with filters →
CertiK
Software Engineer (Engineer III to Principal) - Formal Methods

Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.

CertiK New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Published 4 years ago
abstract interpretation automated reasoning SAT/SMT solving symbolic model checking programming language theory
Apply →
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

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