Sort by
Refine Your Search
-
Employer
-
Field
-
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
-
Postdoctoral Researcher in ML for Dynamical Systems Representation, Prediction, and State-estimation
Engineering at Aalto University explores synergies between nonlinear control theory and machine learning to provide formal guarantees on performance, safety, and robustness of complex systems. We are a part of
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions