Formal Methods

Postdoctoral researcher in Formal Methods at The Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden

April 23, 2018
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

           The Department of Computer Science and Engineering is a joint department at Chalmers University of Technology and the University of Gothenburg, with activities on two campuses in the city of Gothenburg. The department has around 240 employees from over 30 countries. Our research has a wide span, from theoretical foundations to applied systems development. We […]

Read More