Formal Methods Researcher job vacancy

Vacancy expired!

Formal Methods Researcher Location: Mountain View, CA 6 months Contract 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.

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.

Vacancy expired!

Job Details