Software Engineer: Summer 2018 Internship

SmartUQ (smartuq.com) provides breakthrough analytics software to quantify uncertainty in a wide range of engineering fields. Our software is used by some of the largest engineering companies in the world. We are an innovative, fast-growing analytics company. We have a fun and focused team who are passionate about helping our customers solve challenging problems where no off-the-shelf solution exist.

CS/Psych/EdPsych-770 Human Computer Interaction Poster Session

Nineteen student teams from CS/Psych/EdPsych-770 Human Computer Interaction will be presenting posters on their semester-long research projects on Monday, 12/18, 1–3 pm at the CS Building Lobby. Below are project abstracts. Please join us to hear about interesting HCI research, provide students with feedback, and enjoy some cookies.

------------------------------------------

The effect of voice and touch input on user experience
Shuoxuan Dong, Shengzhi He, Xiaotian Li

[pl-seminar] Well-structred transition systems everywhere!

Well-structured transition systems (WSTSs) are a general class of infinite-state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved definitions allow many examples of classical systems to be seen as instances of WSTSs.

[pl-seminar] Well-Structured Transition Systems Everywhere!

Well-structured transition systems (WSTSs) are a general class of infinite-state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved definitions allow many examples of classical systems to be seen as instances of WSTSs.

Software & Hardware Developer

GARDNER PRODUCTS IS A LEADING MANUFACTURER OF INSECT LIGHT TRAPS WHICH ARE USED IN COMMERCIAL INDUSTRIES SUCH AS FOOD MANUFACTURING TO HELP WITH PEST CONTROL. WE ARE LOOKING TO COLLABORATE WITH A CONTRACT EMPLOYEE IN THE DEVELOPMENT OF A NEW PRODUCT THAT CAN PHOTOGRAPH OUR GLUETRAPS, TRANSMIT THE PICTURE AND TRANSMIT DATA, REGARDING THE LIGHT TRAPS PERFORMANCE, TO OUR CUSTOMERS. THE CONTRACT EMPLOYEE WILL COLLABORATE WITH US IN THE DEVELOPMENT OF THE HARDWARE AND SOFTWARE TO PERFORM THE SPECIFIED OPERATIONS AS LISTED.

Find more details on the attached posting.

Pages

Subscribe to UW-Madison Computer Sciences Department RSS