2 model-checking uni jobs in Japan

Assistant professor

University of Tsukuba | Japan | about 18 hours ago

computational science approaches. We are particularly interested in applicants who are capable of conducting numerical model development. Depending on the candidate’s qualifications and experience, the successful

Department of Information Science and Engineering, Graduate School of Sciences and Technology for Innovation, Yamaguchi University/Tenure-track Associate Professor or Tenure-track Lecturer,

Yamaguchi University | Japan | about 18 hours ago

(e.g., real-time systems, distributed systems, fault-tolerant, self-healing, and highly reliable systems, formal methods, model checking, and reliability evaluation) 6. Educational activities 1) Lectures