15 software-formal-method-phd Postdoctoral research jobs at Umeå University in Sweden
Sort by
Refine Your Search
-
/nausica-privacy-aware-transparent-decisions-group-/ The postdoctoral position is funded by WASP. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program
-
: https://www.umu.se/en/research/groups/nausica-privacy-aware-transparent-decisions-group-/ The postdoctoral position is funded by WASP. Wallenberg AI, Autonomous Systems and Software Program (WASP) is
-
leverage patient-derived material such as post-mortem tissue and cell models, including cellular reprogramming coupled with CRISPR gene editing. We use state-of-the-art sequencing methods e.g. Oxford
-
of 3D genome and epigenomic landscape orchestrates gene expression programs that underlie neuron-to-glioma communication. In this project, we will use single-cell sequencing methods, bioinformatics, and
-
years to work in a multi-professional international team with automatization of radiotherapy treatment planning. Description of the project The project aims to develop methods for automated dose planning
-
This position is intended as a career-development opportunity for early-career researchers. Priority will be given to candidates who completed their PhD within the past three years. Exceptions may be granted in
-
to work in a structured and methodical manner Eligibility A person who has been awarded a doctorate in a subject relevant to the position, or a foreign qualification deemed to be the equivalent of a
-
manuscript preparation and the supervision of students. Eligibility The candidate shall have a PhD, or a foreign qualification deemed to be the equivalent of a doctorate in biology, genetics, biochemistry or a
-
. Lead manuscript preparation for high‑impact journals; present at internal seminars and international conferences. Mentor PhD students and contribute to collaborative work Qualification requirements To be
-
writing scientific papers and communicating our research advances in conferences. Methods: programming a humanoid platform using ROS2 packages, solve SLAM, use imitation learning algorithms to learn pick