Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required
-
19 Sep 2025 Job Information Organisation/Company Umeå universitet Department Umeå University, Faculty of Science and Technology Research Field Computer science Researcher Profile Leading Researcher
-
education to enable regions to expand quickly and sustainably. In fact, the future is made here. We are recruiting a full professor in Computing Science with a focus on technical aspects of Software
-
addition to these requirements, we also require that the candidate has a Ph.D. in Computer Science. Proven expertise in formal methods for verifying safety and security of autonomous systems, and digital twin design, prior
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical