11 software-formal-method-phd Postdoctoral positions at AALTO UNIVERSITY in postdoctoral
-
detection are necessary. This project develops watermarking methods and software for speech and audio generative models, focusing on robustness and suitability for open-source use. Your role and goals As a
-
within the device. The work combines advanced nanofabrication methods, such as electron-beam lithography and OLED fabrication via evaporation and solution-processing with sophisticated characterization
-
refine LCA 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
-
‑classical algorithms to tackle domain‑specific, computationally demanding problems. Methods will be designed for near‑term (NISQ‑era) deployment, with models evaluated for expressivity, training stability
-
: bioinformatics, breeding, biomaterial synthesis, and cellulose‑processing enzyme design. You will develop hybrid quantum‑classical algorithms to tackle domain‑specific, computationally demanding problems. Methods
-
heterogeneous catalysts, particularly to understand: How are the material properties (surface area, malleability, mechanical properties) and catalytic activity affected by the preparation method of the cellulose
-
design new AI-supported experimental or observational research methods to understand the foundations of social life . In particular, we will focus on the microfoundations of social networking—why do we
-
and social sciences and interact with city officials and developers Your experience and ambitions PhD in a relevant field (e.g., planning, urban studies, economics) Demonstrated expertise in housing
-
manufacturing (printing, deposition) Working experience in clean room is highly valued Both hands-on and data analysis skills in classical materials characterization methods (i.e., TEM, SEM, XRD, XPS, NMR, IR
-
, deposition) Working experience in clean room is highly valued Both hands-on and data analysis skills in classical materials characterization methods (i.e., TEM, SEM, XRD, XPS, NMR, IR, Raman, XAS, SAXS, etc