SoftWare Developer


This is a temporary job of 6 months to develop software in myDr. Meyer Jackson's lab.

The job involves taking an existing data acquisition/analysis program and converting it so that it works with different hardware.

Applicants should know C++ and be knowledgeable about using computers to control cameras and acquire images.

Level of appointment and salary will depend on background and qualifications.


To apply, contact Dr. Jackson:

TA Training

Three day required training for new CS TAs.  TA training is offered once a year just prior to start of fall semester.  Exact times and locations for day 2 and day 3 will be announced on first day.

[pl-seminar] Syntax-Guided Synthesis with Quantitative Syntactic Objectives

Abstract: Automatic program synthesis promises to increase the productivity of programmers and end-users of computing devices by automating tedious and error-prone tasks. Despite the practical successes of program synthesis, we still do not have systematic frameworks to synthesize programs that are “good” according to certain metrics—e.g., produce programs of reasonable sizes or with good runtime—and to understand when synthesis can result in such good programs.


Subscribe to UW-Madison Computer Sciences Department RSS