Upvote
Downvote
Formal Methods Research Engineer
Share Job
- Suggest Revision
$163,000 a year
Full-time
- The Raytheon BBN Networking and Cyber Technologies group seek well-qualified and eager System/Software Engineers with experience in Formal Methods to become an integral part of exciting new projects in process logic and communications network understanding.
- BS degree and 5 years or MS and 3 years of experience or a PhD in Computer Science, Computer Engineering, Electrical Engineering, or relevant field
- Formal verification tools such as SMT solvers and interactive theorem provers
- Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.)
- Raytheon BBN is proud to offer a comprehensive total compensation package including a competitive 401k company match, a Retirement Contribution plan, performance-based incentive, and competitive benefits package.
Active Job
Updated 1 month agoSimilar Job
Relevance
Active