Sort by
Refine Your Search
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
verify the proposed control framework through formal verification techniques. Ideal candidate We are seeking highly motivated candidates with a strong background in control theory and practical experience
-
used in other safety-critical sectors. Review international AV regulations and identify gaps in explainability and traceability. Develop a formal DCD model capable of representing AV reasoning and
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in