SLAyer is a software analysis tool that automatically proves properties about the data-structures constructed/modified by concurrent systems-level code. Terminator is an additional componenet designed to prove termination and liveness properties. The joint SLAyer/Terminator team is looking for a developer interested in building the first production version of these tools. This position is in Microsoft’s Research division. It will involve a close partnership with Windows Static Driver Verifier team in Redmond, WA.
This position will include:
Candidates should have the following technical qualifications:
To apply or request further details, please contact our Human Resources Department by email: firstname.lastname@example.org Closing date for applications is Friday, 30 November 2007. Microsoft Research is an equal opportunities employer