-
/11250664 https://www.jmlr.org/papers/v26/25-1161.html Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in engineering, computer science, or related disciplines (typically
-
and are not yet used regularly in industrial development processes. We believe that fully automating the verification process is a crucial step towards a broad acceptance of this technology. Our pre
-
learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification/model
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering