Open Positions

Jobs

PhD Positions

• Open Source Chip Design Education
• Open Source Chip Design Tools, Interoperability (PhD Position)

Theses

Master’s Theses

• Retrieving C++ Object State Using Deep Learning Methods
• R3 Gcc Frontend for C++
• Constraint Horn Clauses for Verification of C++ Object-Oriented Programs
• Implementation and Evaluation of Verilator fault simulation optimization
• Design and Implementation of a Reduced Hardware Description Language for CIRCT

Student Assistant Jobs

• Development of a Framework for Reduced Hardware Description Language for CIRCT