2 software-architecture PhD positions at Chalmers University of Technology

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 2 months ago

reinforcement learning, robotics, and the development of reactive software systems. It enables the creation of robust, reliable programs by specifying what a system should do, while automatically deriving how it

PhD student in flexible model for cell design and material composition

Chalmers University of Technology | Sweden | about 2 months ago

include: Developing the model using open-source Python software Planning and conducting experiments Analysing teardown reports and experimental data Validating and improving the model Publishing results in