An NSF-sponsored REU (research experience for undergraduates) position for Fall 05 and Spring 06 is available with immediate effect in the Formal Verification group supervised by Prof. Verma. We are looking for an enthusiastic junior or senior with good academic record, excellent programming skills, and programming experience in C/C++.

Interested students should see Dr. Verma during office hours (or by appt.) with a resume and a copy of their transcript.