The Verified Software Laboratory is accepting applications for an undergraduate research position in a National Science Foundation-supported project. Qualified applicants must be full or part-time enrolled undergraduate students at the University of Delaware.
The student will assist in the development of CIVL , a state-of-the-art formal verification platform for parallel programs. She or he will work with graduate students and with the director of the lab, Prof. Stephen Siegel . No prior knowledge of CIVL or verification is required, as there will be plenty of “on-the-job training” on those subjects. A good candidate should be familiar with C, Java, and some form of parallel programming, and have a strong predilection for learning new things.
The student will work approximately 10 hours/week. The pay rate is approximately $15/hour.
Interested applicants should send an email expressing their interest and including a short CV. The CV should include relevant coursework and experience. This material should be sent to siegelXXX@udel.edu (remove the XXX unless you are a spammer).