[TYPES/announce] Fwd: Position Vacancy Listing UW Madison Computer Sciences

[Tonya Messer]

-------- Original Message --------
Subject: 	Position Vacancy Listing UW Madison Computer Sciences
Date: 	Fri, 25 Mar 2011 08:45:20 -0500
From: 	Tonya Messer <tmesser at cs.wisc.edu>
To: 	types-announce at 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.
Requirements:
·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:
http://www.ohr.wisc.edu/pvl/pv_066758.html

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110325/52903bd8/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PVL 66758.docx
Type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
Size: 12163 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110325/52903bd8/attachment-0001.bin>