Research Scientist

Department: Computer Science and Artificial Intelligence Laboratory

Employment / Payroll Category: SRS (Research)

Description: RESEARCH SCIENTIST, Computer Science and Artificial Intelligence Laboratory (CSAIL)-Software Design Group, to participate in research and development of the Alloy language and analyzer. Alloy ( alloy.mit.edu ) is a language for modeling structures that has been applied in a wide range of applications, including security, network protocols, ontologies, and file systems. Alloy’s associated tools have been used not only for design analysis but also for code verification, test case generation, and automatic configuration. Will participate in all phases of research and software development, assume primary responsibility for designing and implementing new tool features and for evolving the existing codebase, and collaborate on the writing of research grant proposals and research papers. Will also have an opportunity to coadvise students.

Experience: REQUIREMENTS: a Ph.D. in computer science or related field. A strong general background in programming and software development is required, with particular expertise needed in modeling languages, formal methods, and model checking. Good communication and writing skills and ability to work both independently and cooperatively with others are essential. MIT-00008292

In addition to applying online here with a resume and cover letter, please forward the following application materials to djresci [a] csail[.]mit[.]edu: A) a list of familiar languages and technologies along with information on your degree of experience; B) short samples of writing and coding; and C) an answer to the following question - "in your opinion, how should the Alloy system be improved?" Please reference the MIT job number in the subject line of your email.

12/7/11

Req. Number: mit-00008292