Ongoing Research Project with Prof. Ufuk Topcu

We seek for a graduate (or senior undergraduate) student researcher as a programmer with a chance to be integrated into an ongoing research project. The qualified researcher will have working experience with Java, C++ AND/OR C# and familiarity with logic. Familiarity with constraint solving and related software is a plus but not required. There is funding available up to 20 hours a week with a minimal commitment of 10 hours per week.

Interested students, please contact utopcu@seas.upenn.edu.