Intern, R&D Graduate Year Round - Formal Verification
What Your Job Will Be Like:
We are seeking a year-round R&D graduate intern specializing in formal verification and formal methods.
On any given day, you may contribute to activities in one or more of the following:
- Formal Systems Specification and Model Based Design
- Formal verification of systems software (compilers and firmware) and hardware designs
- Mathematics related to computer science (e.g., Logic, Category Theory, Algebraic Geometry)
- Formal verification of floating-point numerical algorithms
- Software development and modeling of embedded control systems