Sort by
Refine Your Search
-
model checkers; proofs of safety and/or security properties; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The successful applicant will work in
-
at enhancing the safety, stability, and durability of next-generation electrified/ autonomous vehicles. The PHM system will be capable of reliable detection of incipient faults of the steer-by-wire system in
Searches related to security
Enter an email to receive alerts for security positions