10 software-formal-method-phd Postdoctoral positions at Linköping University in Sweden
Sort by
Refine Your Search
-
control (MPC) under uncertainty for autonomous systems. The research aims to develop state-of-the-art numerical methods for solving challenging belief-space optimal motion planning problems and their
-
out in close collaboration with the institute RISE. LOE currently has ~150 researchers and PhD students divided into around 10 research groups, each led by a principal investigator. LOE is also a
-
research project (e.g. PhD in physical chemistry, chemical physics, computational chemistry or relevant) and needs to be passionate about research. Experience in usage Gaussian, ADF, Dalton, ORCA etc
-
application! Work assignments We are now looking to appoint a postdoc in Clinical Neurophysiology, formally based at the Center for Social and Affective Neuroscience. As postdoc, you will principally carry out
-
: Develop biohybrid living materials and devices based on photosynthetic organisms with responsive and evolving characteristics. Innovate methods for integrating photosynthetic components into material
-
materials, with a focus on lattice-dynamical free energies, temperature-dependent vibrational properties, and magnon–phonon interactions using quantum mechanical methods. As postdoc, you will principally
-
properties, and magnon–phonon interactions using quantum mechanical methods. As postdoc, you will principally carry out research. A certain amount of teaching may be part of your duties, up to a maximum of 20
-
. This involves method development, large-scale computations, and simulations of complex systems where magnetism is coupled to atomic structure and atomic vibrations. As postdoc, you will principally carry out
-
of the project’s digital infrastructure and analysing the Swedish folk high school based on large-scale data. You will have the opportunity to develop and apply data-driven methods, handle large digital archives
-
these may be taken into consideration. The applicant must hold a PhD in Pediatrics or a related field. As an applicant, you are expected to: Have experience in the analysis of multiomics data and Olink