![Clafer logo](/waterloo-intelligent-systems-engineering-lab/sites/default/files/uploads/images/logo.png)
Clafer is a lightweight structural and behavioral modeling language.
More more information, visit the new official website: clafer.org
![](/waterloo-intelligent-systems-engineering-lab/sites/default/files/uploads/images/wise_logo_white_bg.png)
Opportunities
We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.
For more information, visit Open positions.