3 model-checking positions in Japan

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

Assistant professor

University of Tsukuba | Japan | 5 days 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 | 5 days 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
［Female only］Seeking a few Senior Research Scientists, Research Scientists, Postdoctoral Researchers, or Research Associates (25-508)

RIKEN | Japan | about 4 hours ago

estimation (7) Mathematical analysis and modeling of social behaviors where numbers (1)-(7) above correspond to the same numbers in the [Laboratory] section above. Applicants will be considered

Enter an email to receive alerts for model-checking positions