-
the positions are formally hosted at Aalto University, the employee may, at their own discretion, pursue a visitor agreement with a QDOC host university, subject to agreement by Aalto University and the host
-
. Probabilistic techniques in 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
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions