Research Scientist/Programming Position Available

The Software Design Group in MIT’s Computer Science and Artificial Intelligence Lab (CSAIL) is hiring a Research Scientist to participate in research and development of the Alloy language and analyzer.

Alloy (http://alloy.mit.edu) is a lightweight modeling language with an automatic analyzer based on SAT. It has been used in a wide range of applications in software engineering, including the design of access control schemes, security mechanisms, network protocols, ontologies, and so on. In addition to design analysis, Alloy has also been used for code verification, test case generation and automatic configuration. Alloy was introduced in 1997, and is now in version 4. Hundreds of papers have been written describing research based on Alloy; for examples, see http://alloy.mit.edu/applications.html. Alloy has also been taught in dozens of university courses.

Our plan now is to take Alloy in new directions, and dramatically improve the usability and scalability of the analyzer. We are looking for someone who is is excited by these possibilities and will be deeply involved not only in design and implementation but also in strategic planning. There are also opportunities to co-advise students and participate in research proposals.

Qualifications should include:
-- a PhD in computer science or a related field;
-- superb programming skills, preferably with experience of writing compiler-like tools;
-- familiarity with logic and model checking;
-- a passion for design;
-- excellent communication and writing skills;
-- ability to work both independently and cooperatively with others.

Please apply online to MIT (http://jobs.mit.edu/) with resume and cover letter, and include the following in your application (sent separately to djresci@csail.mit.edu): (A) A list of languages and technologies you're familiar with; (B) A short sample of something you've written in English, and a small code sample; (C) A short answer to the question: "If you could make one big change to the Alloy system, what would it be?" Please reference MIT job number 00008292 in your application.

URL of position on MIT site: http://sh.webhire.com/servlet/av/jd?ai=631&ji=2590192&sn=I