From: Don Syme <Don.Syme@microsoft.com>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Microsoft Research Cambridge Lab Vacancy - Research Software Development Engineer
Date: Sat, 13 Oct 2007 16:35:39 +0100 [thread overview]
Message-ID: <7E24A64DB2F6F34E8C6002C4EB2344971B6A7FF1CC@EA-EXMSG-C315.europe.corp.microsoft.com> (raw)
Job Title: Research Software Development Engineer (RSDE)
Group: Terminator and SLAyer team / Programming Principles and Tools
Location: Microsoft Research, Cambridge (UK)
Start date: Flexible
Description:
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:
* Developing the internal components within Terminator and SLAyer
* Integrating Terminator and SLAyer with the Static Driver Verifier product
* Developing additional infrastructure for future program verification tools
For more information about Terminator and SLAyer see:
* http://research.microsoft.com/TERMINATOR
* http://research.microsoft.com/SLAyer
Candidates should have the following technical qualifications:
* MS. or Ph.D. in Computer Science
* 2+ years development experience highly desirable (e.g. experience shipping software)
* Knowledge of algorithms and techniques of program analysis is necessary, at least, from one of the two angles: formal verification or compiler design. It is expected to be based on college education or 2+ years of industrial experience.
* Experience with ML-like programming language (F#, OCaml) is highly desirable
* Knowledge of and experience with OS internals or driver development is a plus
* Good communication and inter-personal skills
* Leadership abilities and cross-team collaboration skills
To apply or request further details, please contact our Human Resources Department by email: cambhr@microsoft.com
Closing date for applications is Friday, 30 November 2007.
Microsoft Research is an equal opportunities employer
reply other threads:[~2007-10-13 15:35 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=7E24A64DB2F6F34E8C6002C4EB2344971B6A7FF1CC@EA-EXMSG-C315.europe.corp.microsoft.com \
--to=don.syme@microsoft.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).