Vacancy expired!
VDart Inc is the leading global provider of digital solutions, products and talent management company providing digital technology solutions in Automotive, Manufacturing, Energy & Utilities and Healthcare Industries. Led by a strong global team located across 10 countries including USA, Canada, Mexico, Brazil, UK, Japan, Australia & India. We are currently accepting applications from staffing firms for our Preferred Partner Program, where we align niche staffing firms with specific verticals based on their strengths. To apply, please visit: https://www.vdart.com/suppliers/ Formal Methods Researcher Mountain View, CA 12 Months Responsibilities:
- Research on High-Assurance Connected Software Architecture & Software Engineering including:
- Contract-based architecture, contract-based design, formal contract languages.
- Automatic formal verification.
- Runtime verification and runtime monitoring.
- Correctness-by-construction.
- Automatic abstraction (bottom-up) and decomposition (top-down) of system specifications.
- Occasional driving of test vehicles to conduct experiments.
- Ph. D 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 expired!