1 formal-methods positions at KTH

Sort by

Refine Your Search

  • KTH | Sweden | about 1 month ago

    build a theoretical and computational foundation for new methods in statistical inference and generative modeling, based on principled optimal transport and gradient flow theory. We are looking for a

Enter an email to receive alerts for formal-methods positions