18 software-formal-method-phd Postdoctoral positions at AALTO UNIVERSITY in United Kingdom
Sort by
Refine Your Search
-
develop methods for the recombinant production of post-translationally modified structural proteins, investigate their effects on material assembly and properties, and design new, functional materials. In
-
transport for inverse problems One of the central topics of the research projects is the further development of theory and methods for the concept of optimal transport for inverse problems. Optimal transport
-
: PhD or equivalent degree in Robotics, Computer Science, Machine Learning, AI, Control Engineering, or a related field. Excellent programming skills and experience with related tools and software. A
-
methods for detecting and mitigating online harms. Its results aim to inform public health, policy, and technology design, promoting resilience and empowering individuals to understand and counteract
-
and Professor of Practice Jouni Punkki. Job description Research activities will involve computational methods relying on physics-based continuum models to assess the mechanical, thermal, and acoustical
-
testing and stakeholder engagement. Collaborate closely with the PhD researcher to connect environmental data analysis with computational design innovation. Participate in fieldwork in Norwegian glacier
-
, 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). Contribute to policy
-
both the density and phase of the BEC. The experiment aims to pioneer in vibrational and phonon BEC Phys. Rev. Lett. 133, 186903 (2024) and establish a groundwork for the control methods over light
-
superconducting qubits and millikelvin electronics Did you recently get your PhD in circuit quantum electrodynamics (cQED) and are now looking into taking the full potential of your skills into use for making new
-
, such as AI providers and data center operators, to evaluate and compare scenarios to reduce emissions. The framework will be released as a software tool to guide emissions reduction strategies. The project