Sort by
Refine Your Search
-
, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required
-
background and interest in static and/or dynamic program analysis, programming language techniques, formal verification, or software engineering, excellent communication skills with sufficient proficiency in
-
innovate, our actions together, large and small, contribute to a better world. We look forward to receiving your application! We are looking for a PhD student in computer science specializing in formal
-
the studies and to be a main contributor in the data collection, analysis and reporting of the scientific results. The scientific work and academic courses will be formalized in relation to learning objectives