Formal Methods Researcher

MSR Technology Group

FULL_TIME

Salary

$0 - $0 per yearly

Location(s)

  • Mountain View CA US

Description

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). PRIMARY PERFORMANCE RESPONSIBILITIES. Research on Hi

Tags

  • Trades & Technical

How to apply

Apply for this job at: https://api.collabwork.com/api:1SHNakFf/xmljobs?ref=OTllZjMzYWU1OTI5NDgyYjk2YWMyZWNjODNmZDZjN2F8Y2QxMzUxYTctNGMyYi00YzczLThkM2MtMDI4NWNjYjBmZTgx&utm_source=collabworkv3site