www.sosy-lab.org/positions.php
Preview meta tags from the www.sosy-lab.org website.
Linked Hostnames
11- 11 links towww.sosy-lab.org
- 3 links togitlab.com
- 2 links tochat.ifi.lmu.de
- 2 links togithub.com
- 1 link tobenchcloud.sosy-lab.org
- 1 link tocpachecker.sosy-lab.org
- 1 link tosv-comp.sosy-lab.org
- 1 link totest-comp.sosy-lab.org
General Meta Tags
8- titleOpen Positions at Software and Computational Systems Lab
- content-languageen
- Content-typetext/html;charset=UTF-8
- descriptionThe Chair for Software and Computational Systems at LMU Munich represents the area of development, verification, and maintenance of software systems. Our research focuses on models, methods, and algorithms for the efficient analysis of software systems.
- keywordsUniversität München LMU Munich IFI Informatik Software Systems Verification Software Model Checking
Item Prop Meta Tags
4- urlhttps://www.sosy-lab.org
- logohttps://www.sosy-lab.org/images/sosylogo.png
- telephone+49-89-2180-9151
- contactTypeCustomer support
Link Tags
3- stylesheetlayout.css
- stylesheetdesign.css
- stylesheetpositions.css
Emails
2Links
25- http://www.en.uni-muenchen.de
- https://benchcloud.sosy-lab.org
- https://chat.ifi.lmu.de/#narrow/dm/20-Thomas-Lemberger-(IFI)
- https://chat.ifi.lmu.de/#narrow/dm/2807-Marvin-Brieger-(IFI)
- https://cpachecker.sosy-lab.org