Postdoc Opportunities in Optimisation in Sweden

This postdoctoral project sits in automated program verification at the Department of Information Technology, Uppsala University, within the Division of Computing Science and the Programming Languages group. The research is focused on making it easier for developers to write correct and efficient numerical programs. A central challenge is floating-point rounding error, and the project explores ways to verify numerical code that is widely used in safety-critical embedded systems, data analysis, w...

This post-doctoral position sits within RESILIENT , a national competence centre for resilient energy systems co-financed by the Swedish Energy Agency and carried out in close collaboration with Scania . The project examines how manufacturing companies can use electricity more flexibly in response to renewable and variable power systems, helping to reduce costs, support the grid, and ease local constraints while maintaining productivity. The research is based at the Division of Industrial Engine...

This postdoctoral project focuses on the techno-economic analysis of resilient urban energy systems for the south-eastern districts of Uppsala. The work addresses a real planning challenge for one of Sweden’s largest urban development projects, with the results intended to support municipal decision-making as the district is built out. The successful candidate will work on concepts for supplying a new urban district with both heat and electricity in a way that remains robust under disruptions. T...

Uppsala University is seeking a full-time postdoctoral researcher in Practically Usable Verification for Numerical Programs , hosted by the Department of Information Technology's Division of Computing Science and Programming Languages group in Uppsala, Sweden. The project aims to help developers write correct and efficient numerical programs through new theoretical techniques and practical implementations. Research will address numerical software used in safety-critical embedded systems, data an...

Postdoctoral position in Electrical Engineering at Karlstad University , Sweden, focused on intelligent control of solar power systems and broader research in renewable energy , automation , power systems , and machine learning . The position is hosted by the Department of Engineering and Physics within the Faculty of Health, Science and Technology. The project is part of the Solar Electricity Research Centre Sweden (SOLVE) , a strategic partnership aimed at accelerating the integration of solar...