-
mathematical physics, including their formalization. This position is associated with Kalle Kytölä’s research group, part of the Finnish Centre of Excellence in Randomness and Structures (FiRST). The starting
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions