15 software-formal-method-phd Postdoctoral positions at AALTO UNIVERSITY in United Kingdom
Sort by
Refine Your Search
-
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
-
: 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
-
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
-
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
-
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
-
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
-
, 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
-
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
-
: Ph.D. in Chemical Engineering, Biosystems/Bioprocess engineering, Process Engineering, or a related field (completed within past five years). Expertise in Aspen One® software for process simulations
-
models to assess the environmental impacts of bio-based products and systems using software tools such as OpenLCA. Analyze complex datasets to identify key areas for improvement in environmental