Formal Methods Researcher

Formal Methods Researcher

07 Nov 2024
California, Mountainview, 94043 Mountainview USA

Formal Methods Researcher

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.


Key Skills: Formal Methods Researcher, Software Architecture, Verification & Validation, Model Based Systems Engineering


Referral Program: Ask our recruiting team about how you can be a part of our referral program. If you refer a candidate with the desired qualifications and your candidate accepts the role, you can earn a generous referral fee. We want to hire the best talent available and are committed to building great teams and partnerships.

We are Equal Employment Opportunity Employer.

VDart Inc
Alpharetta, GA
Follow us on Twitter for the hottest positions: @VDartJobs
Follow us on Twitter: @vdartinc

Job Details

Jocancy Online Job Portal by jobSearchi.