Maciej Ciesielski


University of Massachusetts
Department of Electrical & Computer Engineering
307 Knowles Engineering Building
Amherst , MA 01003

Tel: (413) 545-0401

Other faces of Prof. Ciesielski ....

Biography/CV (pdf)

Electronic Design Automation (EDA): CAD tools and algorithms. Lab affiliation: VLSI CAD Laboratory

Open RA Position

I have an open RA position for a PhD candidate in the area of hardware verification, and specifically in formal verification of arithmetic circuits. Successful candidate must have documented experience in computer programming (C, C++), solid background in computer algorithms, and some knowledge of computer arithmetic. Basic knowledge in computer-aided design for electronic circuits (also known as electronic design automation, EDA) is desirable. The selected person will take the course in Synthesis and Verification of Digital Systems, ECE 667, in Spring 2017.
Please check the following websites to get yourself familiarized with the type of problems the research entails.

The qualified candidates interested in this position should send email with a CV to with the subject matter: "Interested in RA position in formal verification".

Publications and Slides

A set of selected research papers and PowerPoint presentation slides and tutorials.

Software Releases

Research Students


About Group, Department and University:

Maciej Ciesielski