19 software-formal-method-phd Postdoctoral research jobs at AALTO UNIVERSITY in Finland
Sort by
Refine Your Search
-
. 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
-
the Finnish Center for Artificial Intelligence . His research group develops machine learning principles and methods focusing on a few key topics (see “Machine learning foundations” below), often
-
microscopy, diffraction, and other complementary methods; (c) Developing and applying analytical techniques, such as liquid chromatography, to identify and quantify reaction products. You will also have
-
well as to prepare new devices and methods of quantum information processing. Our goal is to achieve JoFETs by utilizing hybrid devices based on silicon and high-quality superconducting silicides. Remarkably
-
concerned with optimal transport for inverse problems. Optimal transport for inverse problems One of the central topics of the research projects is the further development of theory and methods
-
functional properties of protein-based materials. In this position, you will develop methods for the recombinant production of post-translationally modified structural proteins, investigate their effects
-
to polarization. Leveraging network science, NLP, behavioral sensing, and causal inference, the project pioneers new methods for detecting and mitigating online harms. Its results aim to inform public health
-
concerned with optimal transport for inverse problems. Optimal transport for inverse problems One of the central topics of the research projects is the further development of theory and methods
-
interactive prototypes for scenario testing and stakeholder engagement. Collaborate closely with the PhD researcher to connect environmental data analysis with computational design innovation. Participate in
-
. Integrate environmental, spatial, and social data into digital twin models for scenario testing and policy simulation. Adapt co-design methods to local contexts in demonstrator sites (Portugal, Sweden, Italy