Uppsala University
Postdoctoral position in Practically Usable Verification for Numerical Programs Login and apply Uppsala University, Department of Information Technology Are you interested in working in automated program verification with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in sustainable employeeship and offers safe, favorable working conditio…
This is a short preview. Read the full posting on the source site. View Original ↗
Opens the original posting on the institution’s portal
A tailored cover letter and CV tips for this position.
Pro writes a cover letter and CV tips tuned to this exact posting, using your profile and CV.
Sign in to useInstitution
Uppsala University
Other openings you might be interested in
Assisting with the planning of: Research project in the field of novel synthesis of polymeric nanoparticles Development of nanoparticle coatings Publication of scientific results Collaboration in interdisciplinary projects Teaching of students and supervision of master students
Mission Despite recent technological advances both in the data management and in computer architecture domains, our ability to analyze data still falls behind the unstoppable data collection rates. Data-intensive applications are increasingly more demanding in sophisticated algorithms to store, manage, and interpret data. To meet the challenges, database software needs to communicate efficiently both with the application layer and with the underlying hardware platforms, and deliver seamless computational and data management support. Research in the DIAS lab addresses both aspects of the…
Profile The Structural Xploration Lab is seeking a new research collaborator with a PhD in building technology, preferably in the field of building materials and/or building envelope performance and/or building renovation. The candidate must be familiar with contemporary construction techniques and have an interest in 20th-century construction techniques or vernacular architecture. Experience in Life Cycle Assessment (LCA), Building Information Modelling (BIM), Geographic Information Systems (GIS) or computer programming is a plus. A master's degree or professional experience in architecture…
Location
🇸🇪 Uppsala Sweden
Category
PostdocContract
Temporary position
Deadline
3w leftFirst seen
16 Oct 2026 (1w ago)
Source
VARBI
Uppsala, Sweden
View larger mapATHENE is the National Research Center for Applied Cybersecurity and is one of the leading institutions in Europe and worldwide. Our contributors include the Fraunhofer Institutes SIT and IGD as well as TU Darmstadt, Goethe University Frankfurt, and Darmstadt University of Applied Sciences. Through excellence-driven research, we jointly develop innovative solutions to pressing security and data protection challenges and work closely with national and international partners, including leading companies, universities, and research institutions in Europe, the USA, and Israel. About our area Our…
Mission The A. Mathis Group for Computational Neuroscience and AI (CNAI), led by Professor Alexander Mathis, is seeking two postdoctoral fellows to join our team working at the intersection of artificial intelligence and neuroscience. Our research is built around three intertwined questions: how to measure and understand behavior with AI, how brains and embodied agents learn to control the body, and how the brain builds a sense of its body through proprioception. We develop widely-used open-source tools (e.g., DeepLabCut), train biomechanically realistic embodied agents (e.g., MuscleMimic,…
Mission We are looking for a highly motivated Postdoctoral researcher (W/M) to join our Neuroengineering Laboratory at EPFL ( https://go.epfl.ch/ramdya/ ) to work on an ERC funded project aiming to reverse-engineer insect limb motor control for bioinspired robotics. The main focus of this project is how neural circuits in the motor system of the fly, Drosophila melanogaster, orchestrate limb movements and autonomous behavior in complex environments. Specifically, we are looking for Postdoctoral scientists to perform microscopy-based neural recordings in behaving flies, computational analysis,…
