Formal Methods Researcher
•Today
| Hours | Full-time |
|---|---|
| Location | Mountain View, California |
About this job
Job Description
Job Description PRIMARY PERFORMANCE RESPONSIBILITIES
The candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts. Research areas include high-assurance connected software architecture & software engineering, dependable connected software platform, system assurance, and model based systems engineering (MBSE).
- 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.
Occasional driving of test vehicles to conduct experiments therefore this candidate will need to be local
QUALIFICATIONS & REQUIRED SKILLS
- 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
Companies hiring qa testers
in Mountain View, CA
Nearby locations
Explore more qa tester jobs
in Mountain View, CA
Nearby Job Titles
Radiologic Technologist Jobs Applications Software Developer Jobs Network Architect Jobs Nursing Assistant Jobs Machinery Maintenance Worker JobsNearby Locations
San Jose, CA Jobs Santa Clara, CA Jobs Palo Alto, CA Jobs Sunnyvale, CA Jobs California JobsNearby Companies
Apple Jobs Care.com Jobs U.S. Navy Jobs Patriot Conceptions Jobs Free Cash by Almedia JobsNearby Categories
Full-time Jobs Part-time Jobs Gig Jobs Posting ID: 1294166535 Posted: 2026-09-19 Job Title: Formal Method Researcher
Your Privacy Choices