Posted in Other 30+ days ago.
Details:
A Formal Methods Researcher job opportunity is available in Mountain View, California at one of Belcan's automotive clients. 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).
To be considered for this role, 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., please see below for more requirements.
Formal Methods Researcher (Must work on site)
PRIMARY PERFORMANCE 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.
If you are interested in the job opportunity, please apply via the apply now link provided. Belcan is a leading provider of qualified personnel to many of the world's most respected enterprises. We offer excellent opportunities for contract/temporary, temp-to-hire, and direct assignments in the engineering, IT and professional fields. We are the employer of choice for thousands worldwide. Belcan is a team-driven Equal Opportunity Employer committed to workforce diversity. For more information, please visit our website at http://www.belcan.com.
NICE Systems, Inc. |
Bristlecone |
ektello |