IT Help Desk Support

The Wisconsin Department of Veterans Affairs (WDVA) is currently recruiting for two IS Technical Services Senior positions, to serve as members of the Customer Support Unit. The positions are headquartered in downtown Madison, close to Monona Terrace, the Capitol, and State Street. WDVA is dedicated to providing services to Wisconsin veterans and their families. Come join our quality team!

Position Summary:

2017 Technology Entry-Level Program

At Liberty Mutual, technology isn't just a part of our business, it's what drives us forward. We deliver our customers peace of mind every day by helping them protect what they value most. Our passion for placing the customer at the center of everything we do is driving a transformational shift at Liberty Mutual. Operating as a tech startup within a Fortune 100 company, we are leading a digital disruption that will redefine how people experience insurance.

About the Program

2017 Technology Internship/Co-op Program

At Liberty Mutual, technology isn't just a part of our business, it's what drives us forward. We deliver our customers peace of mind every day by helping them protect what they value most. Our passion for placing the customer at the center of everything we do is driving a transformational shift at Liberty Mutual. Operating as a tech startup within a Fortune 100 company, we are leading a digital disruption that will redefine how people experience insurance.

About the Role

[pl-seminar] DeepSpec 2017: Formally Verified Software

The Coq theorem prover is a powerful tool for verifying that program specifications satisfy various properties. In this presentation, I will introduce Coq using an example of verifying insertion sort. I will define a simple imperative language, a stack-machine language similar to Java bytecode, and a compilation process between them. The correctness of the compilation will then be proved. This demonstrates a very common technique in Coq, which has also been used to verify properties of LLVM bitcode and of operating systems.

IT Intern

Bluetree Network is a fast-growing technology consulting company in the field of healthcare informatics. We're in the business of helping large healthcare organizations become more efficient. We have offices in Madison, Denver, and New York City and our consultants and clients are spread across the United States and Canada. We are looking for a new internal team member to join us during this exciting time on our Accounting team.

Find more details on the attached posting, and submit your resume by Oct. 10.

VHL app challenge

The VHL Alliance is running an app design and development contest in order to spread awareness of VHL, as well as to develop a mobile tool that will allow VHL patients, caregivers, and physicians to better manage their care.  You can learn more about the contest by going to: vhl.org/appchallenge.

There is no cost to enter and the contest provides a number of benefits, including:

Intern, Augmented Reality group

At HOVER we’re building the future of 3D property data with a platform that lets anyone generate accurate 3D buildings by simply taking a few photos with their smartphone. From home improvement to commercial property management and insurance, our goal is to change the way you see the world by building the world’s most comprehensive and accurate database of physical properties.

Our first multi-billion dollar target market is the exterior home improvement, one of the few markets that has gone largely un-disrupted by technology.

Hilldale Lecture - Computer Science Theory: Past, Present, and Future

RECEPTION: 4:00-5:00 PM
TALK: 5:00-6:00 PM

I will discuss what I believe are the biggest insights in computer science
theory. They are not the obvious ones---at least not all are obvious. The
talk should be accessible to almost anyone. Although some experts may
disagree with my list of insights. I will also make an attempt to outline
what I see as the future of computer science theory: what will happen
in the next five, ten, and twenty years.
---------------------
here is a brief bio for Dick Lipton.

Pages

Subscribe to UW-Madison Computer Sciences Department RSS