Sort by
Refine Your Search
-
real-time, and will be tested and demonstrated on a state-of-the-art HiL rig and an autonomous test vehicle. The post is focused on the development of automotive-grade algorithms and estimators that will
-
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
Enter an email to receive alerts for algorithms-"Prof"-"Prof" positions