27 software-formal-method-phd "https:" Postdoctoral positions at UNIVERSITY OF HELSINKI
Sort by
Refine Your Search
-
computational and theoretical methods to understand cluster and particle formation for atmospherically relevant molecules. ORCTOOL (Organic Cluster Tools) aims to create a toolbox for understanding and cost
-
publications and conference presentations The candidate is expected to have Education, experience and technical skills A relevant PhD degree with previous experience with crop physiological methods, plant-soil
-
on the position. The hired researchers will work as part of the computational aerosol group at INAR. The computational aerosol physics group uses computational and theoretical methods to understand cluster and
-
) Reproducible research software (Git, workflow tools, documented pipelines; HPC/cluster use) Track B: High-throughput cell-phenotyping & cell sorting (choose a combination) Flow cytometry / spectral cytometry
-
, urban planning and education. We are united by a commitment to understanding and transforming human–nature relationships through innovative concepts, participatory and co-creative methods, and solutions
-
to Professor Tuomo Hiippala . The project develops novel methods and resources for studying multimodality, or how humans communicate using combinations of multiple ‘modes’ of expression. These methods and
-
periods of time in the right conditions, may also act as windows to the past. In this work we will compare ancient and modern bacteria with various methods. By integrating the findings with archaeological
-
the Neuroscience Center in the University of Helsinki (see: https://www2.helsinki.fi/en/researchgroups/synaptic-plasticity-and-development ).The research interests are focused on functional maturation of neuronal
-
(at 23:59 UTC +2). Requirements A PhD in computer science or a related topic Prior experience in logical reasoning is essential Demonstrable research experience in SAT/ASP/SMT/MaxSAT Excellent English
-
development (https://www.helsinki.fi/en/about-us/careers ). Required qualifications PhD (or near completion) in evolutionary biology, ecology, genetics, or related fields. Expertise in molecular genetics