4 formal-verification-computer-science positions in Sweden

Associate Senior Lecturer in Computer Science with focus on formal methods

Mälardalen University | Sweden | 6 days ago

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

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 14 hours ago

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

Postdoc in computer science

Mälardalen University | Sweden | 3 months ago

. Qualifications requirements The applicant is required to have a PhD degree in Computer Science, Software Engineering, or related fields. The applicant must have completed the degree no more than three years before

PhD student position in Formal Verification of Autonomous Cyber-Physical Systems

Chalmers University of Technology | Sweden | 3 months ago

, 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