Vacancy caducado!
Formal Methods Researcher Location: Mountain View, CA 6 months Contract Responsibilities
- Ph. D (preferred) or Masters in Computer Science, Electrical Engineering, Computer Engineering, or related field.
- 2+ years of research experience in formal verification and/or software engineering.
- Proficiency in formal verification tools, e.g., theorem prover tools, model checking tools, etc.
- Knowledge of computer systems, embedded systems, and systems and software engineering.
- Knowledge of Model Based Systems Engineering (MBSE) and Verification & Validation (V&V) concepts
- Knowledge of programming and scripting languages, e.g., Java, Python, etc.
- Research prototype development skills.
- Ability to engage in general research activities, e.g., planning, time management, and team building.
- Ability to work independently as well as within a highly motivated team environment.
- Excellent interpersonal and communication skills.
Vacancy caducado!