13 software-formal-method-phd Postdoctoral positions at KTH Royal Institute of Technology
Sort by
Refine Your Search
-
Job related to staff position within a Research Infrastructure? No Offer Description Job description The work consists of: designing and implementing software prototypes & demonstrators participating
-
within a Research Infrastructure? No Offer Description Job description Electrodeposition is a versatile and accessible method for preparing metallic nanostructures and alloys with tunable morphology
-
on development of novel computational methods with state-of-the-art machine learning for gaining fundamental insights into healthy and diseased human tissues of the heart, cardiovascular system, and
-
these plants. The post-doc is expected to build upon existing in-house tools and, where applicable, enhance them by means of AI (machine learning) and data-driven methods. These models are aimed to support
-
, and carrying out magnetic and spin structure refinement. You are also expected to contribute to the development and implementation of neutron-based instrumentation and experimental methods, as
-
overview describing the proposed research activities, objectives, methods, and potential outcomes. Proposal of research activities: Should include research questions, objectives, methodology, and
-
addition to the research, the applicant is expected to participate in the supervision of master's and PhD students. Qualifications Requirements A doctoral degree or an equivalent foreign degree. This eligibility requirement
-
involves considering which bodies get designed for and are expected by robots as solidified in their design. The postdoc will be conducted within the Wallenberg AI, Autonomous Systems and Software Program
-
for running and further developing it. The position provides great opportunities for an ambitious researcher to develop skills within state-of-the-art biophysical methods such as vibrational sum frequency
-
methods and AI-based approaches. The work builds on and further develops the Meta Attack Language (MAL) , with a particular focus on developing domain-specific models that reflect the concrete actions