[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

-------- Original Message --------
Subject:        Position Vacancy Listing UW Madison Computer Sciences
Date:   Fri, 25 Mar 2011 08:45:20 -0500
From:   Tonya Messer <tmes...@cs.wisc.edu>
To:     types-announce@lists.seas.upenn.edu

Please post this position vacancy listing to qualifying groups.

Thanks, Tonya
Tonya Messer
Payroll and Benefits Specialist
Computer Sciences Department
University of Wisconsin-Madison
1210 W Dayton St. Room 5368
Madison, WI 53706
P:608-262-4694 F:608-262-9777

Position vacancy UW-Madison Computer Science Department: Researcher
100% Appointment
The Wisconsin CRASH project seeks someone to carry out research on policy-weaving at the machine code level.The primary duties include: Research, development, and support of software such as software tools, operating systems, libraries and run-time systems.This is not an application developer.The researcher will also represent CRASH project, participate in collaborative research and in the writing of technical reports and train new staff and students.
·Minimum of Master's in Computer Science or related discipline
·Minimum of 5 years of experience of working on machine code analysis
·Experience using one or more SMT solvers, such as Yices, Z3, or STP
·Experience as an advanced graduate student will be accepted
Please submit application by April 20^th 2011.For full position listing visit:

Attachment: PVL 66758.docx
Description: application/vnd.openxmlformats-officedocument.wordprocessingml.document

Reply via email to