PhD Position in Automated Verification

Uppsala University, Department of Information TechnologyOrganisation/Company: Uppsala universitet Department Uppsala University, Department of Information TechnologyResearch Field: Computer science Engineering Mathematics TechnologyResearcher Profile: First Stage Researcher (R1)Country: SwedenApplication Deadline: 22 Apr 2025 - 21:59 (UTC)Type of Contract:...

Job DescriptionThe successful candidate will be part of the Division of Computing Science and specifically within the Programming Languages group. They will work on developing new techniques and approaches for automated program verification, specification inference, fault localization, and practical usability in the context of numerical finite-precision...

A PhD position is available at the Department of Ecology, Swedish University of Agricultural Sciences. The department provides a dynamic and international research environment comprising experts who combine research in basic ecology with research in nature conservation, wildlife management, forestry and crop protection. We have modern and well-equipped...

Department of EcologyA PhD position is available at the Department of Ecology, Swedish University of Agricultural Sciences. The department provides a dynamic and international research environment comprising experts who combine research in basic ecology with research in nature conservation, wildlife management, forestry and crop protection. We have modern...

Direct message the job poster from Uppsala University.There is a common PhD project with mechanics-chemistry-mathematics departments, competitive environment, 100% position, very good working conditions, and the battery group in Uppsala University is world leading.Uppsala University CIM project: Predictive state estimation in batteries by scientific machine...

Get AI-powered advice on this job and more exclusive features.The Department of Chemistry – BMC at Uppsala University conducts research and education in analytical chemistry, biochemistry and organic chemistry. More than 100 people, including around 45 PhD students, work at the department. New employees and students are recruited from all over the world...

About the Research FieldAnalytical chemistry plays a vital role in understanding the chemical properties and processes of substances. The development of new analytical methods enables researchers to uncover the complexities of biological systems and understand the underlying mechanisms of diseases.Mass spectrometry is a powerful tool for analyzing the...

Required Skills and QualificationsTo be eligible for this position, you must hold a Master's degree in computer science or a related field, or have completed at least 240 credits in higher education, with at least 60 credits at Master's level including an independent project worth at least 15 credits.We are looking for candidates with a strong mathematical...

Uppsala University, Department of Medical Biochemistry and MicrobiologyOrganisation/Company: Uppsala universitetDepartment: Uppsala University, Department of Medical Biochemistry and MicrobiologyResearch Field: Biological sciences, Medical sciencesResearcher Profile: First Stage Researcher (R1)Country: SwedenApplication Deadline: 30 Apr 2025 - 21:59...

Uppsala University is one of Sweden's largest and most prestigious universities, offering a unique opportunity for academic and professional growth. We are now seeking a talented researcher to join our team as a postdoctoral researcher in evolutionary biology.The successful candidate will have the opportunity to work on a project focused on understanding the...

Uppsala University's Department of Chemistry - Ångström Laboratory is seeking a highly motivated PhD student to contribute to the development of novel materials for flexible X-ray detectors.In this project, you will synthesize high-Z COF materials and investigate their properties using electrochemical characterization techniques.This position offers an...

PhD position in Data-driven epidemiology and biology of infectionUppsala University, Department of Medical Biochemistry and MicrobiologyThe Department of Medical Biochemistry and Microbiology (IMBIM) at Uppsala University provides a broad international environment for research and teaching. Research at IMBIM broadly spans the areas of biochemistry, cell and...

Uppsala University, Department of Medical Biochemistry and MicrobiologyThe Department of Medical Biochemistry and Microbiology (IMBIM) at Uppsala University provides a broad international environment for research and teaching. Research at IMBIM broadly spans the areas of biochemistry, cell and molecular biology, tumour biology, comparative genetics,...

About the JobWe are seeking a highly motivated researcher to join our team as a PhD student in Computing Science focusing on Practically Usable Verification for Numerical Programs. This project, funded by the ERC Starting grant HORNET, aims to develop practically usable automated verification and debugging techniques for numerical programs.Numerical programs...

The Department of Electrical Engineering at Uppsala University is a leading institution in the field of electrical engineering, with a strong focus on research and education. Our department conducts successful research and education in various areas, including renewable energy sources, electric vehicles, industrial IoT, 6G communication, and wireless sensor...

Uppsala University, Department of Electrical EngineeringOrganisation/Company: Uppsala universitet Department Uppsala University, Department of Electrical EngineeringResearch Field: TechnologyResearcher Profile: First Stage Researcher (R1)Country: SwedenApplication Deadline: 15 May 2025 - 21:59 (UTC)Type of Contract: TemporaryJob Status: Full-timeIs the job...

Who we areOlink, part of Thermo Fisher Scientific, is transforming the understanding of human diseases through advanced proteomics. We are driven by a commitment to innovation, quality, and transparency, providing exceptional solutions and support for human protein biomarker discovery.For many years, the critical role of proteins in human biology has been...

About the JobWe are seeking an ecologist to investigate the mechanisms behind tree drought responses, soil fungal interactions, and insect resistance.The PhD position is part of a project investigating the relationship between soil moisture conditions, mycorrhizal colonization, and community composition, and spruce resistance against European spruce bark...

Admission to Doctoral (PhD) Studies in the subject Engineering Sciences with specialization in Biomedical Engineeringat the Division of Biomedical Engineering, Department of Materials Science and Engineering, Uppsala University.Join usAbout The DepartmentThe Department of Materials Science and Engineering aims to be an environment for successful and valuable...

PhD student in Chemistry with specialization in Analytical ChemistryUppsala University, Disciplinary Domain of Science and Technology, Faculty of Chemistry, Department of Chemistry - BMCPhD student in Chemistry with specialization in Analytical ChemistryThe Department of Chemistry – BMC conducts research and education in analytical chemistry, biochemistry...