Jobs at CSAIL
Please note that positions are frequently open for many months at a time. We promptly remove a listing as soon as it is filled, so don’t hesitate to apply for a position that has been listed for a long time.
MIT requests that all applications for open positions go through MIT’s Staffing Services department. To apply, please go to http://web.mit.edu/jobs and perform a keyword search (found at the bottom of the page) with either the job number or “Computer Science and Artificial Intelligence Laboratory” in the keywords field.
Title: Assistant Director of Finance
Req Number: mit-00008604
ASSISTANT DIRECTOR OF FINANCE, Computer Science and Artificial Intelligence Laboratory (CSAIL)-World Wide Web Consortium (W3C), to assume primary responsibility for budget, financial planning and performance, overall fiscal management, and reporting for the W3C. Will provide expert analysis, projections, and cost-benefit solutions to business issues in W3C; develop and maintain W3C's financial plan (current and long-range) to reflect its strategic goals and mission; develop financial models to help W3C leadership assess business-worthiness of new initiatives and support business decisions, both locally and on a global scale; work closely with the leadership to develop and implement financial practices, policies, procedures, and systems to facilitate reporting and analysis of financial information; and serve on the W3C management team and as liaison to MIT's Office of Sponsored Programs, corresponding fiscal officers at the W3C ERCIM (European Research Consortium for Informatics and Mathematics) and Keio University, and W3C member organizations.
REQUIREMENTS: a bachelor's degree in financial management or accounting (MBA preferred); at least seven years of financial experience at a decision-making level; strong financial modeling and planning skills; ability to develop clear presentations of complex financial information/situations; extensive experience in budget forecasting and analysis; strong attention to detail; experience preparing reports using Web-based tools and technologies; strong organizational skills; ability to work and communicate effectively with a diverse and geographically dispersed technical staff; experience in international and technical environments and an understanding of and experience with the Web industry and its technologies; supervisory experience; and strong verbal and written communication skills. Knowledge of SAP or similar accounting package desired, as are relational database skills. MIT-00008604
Occasional international and domestic will be travel required.
Title: Project Developer/Web Programmer
The Imagination, Computation, and Expression Laboratory (ICE Lab) at MIT is looking to hire a part-time Project Developer/Web Programmer. The ICE Lab is situated jointly in the Comparative Media Studies/Writing Programs and Computer Science and AI Lab (CSAIL).
Interested candidates should submit their applications online via MIT HR staffing site - http://sh.webhire.com/servlet/av/jd?ai=631&ji=2533792&sn=I.
Project Developer:
The ICE Lab develops new forms of gaming, interactive narrative, and social media.
We seek a part-time Project Developer/Web Programmer to develop & launch projects and perform system/server administration. Will design, implement, and manage a website for ICE (Imagination, Computation, and Expression) Lab for public and internal group use. Will provide HR support in finding local developers/researchers. Will manage graduate research assistants, developers and consultants. May assist with grant-writing and application development. Directly report to the CMS/WHS/CSAIL Faculty member in charge of ICE Lab.
Requirements:
A bachelor's degree and a minimum of 3 years' experience as project developer and web programmer.
Experience with web programming languages/platforms including LISP, Flash, Python, Java/Processing, and/or iOS (Cocoa/Objective C), and/or ability to find developers to serve this role.
3+ years' experience building web sites and demonstrated experience in web programming and applications development; familiarity with university and research environments, knowledge of information technology and computing applications as implemented in scholarly research services, and knowledge of trends in the development of state-of-the art web-based technology.
Seek an HR generalist with experience in employee relations, recruitment and performance management.
Excellent interpersonal, written/verbal and communication skills.
Professional game development and/or AI development experience desirable.
Potential future duties include assisting with grant-writing and application (interactive narrative, gaming, and social networking) development.
This is a renewable one-year position, May 2011 to April 2012, with the possibility of extension.
Title: Research Scientist
Req Number: mit-00008377
FT/PT: Full Time
RESEARCH SCIENTIST, Computer Science and Artificial Intelligence Laboratory (CSAIL), to join the Analysis and Compilation Group. The position is part of the DARPA MRC's Cloud Intrusion Detection and Repair (CIDAR) project. CIDAR is developing a system that observes normal interactions during the secure operation of the cloud to derive properties that characterize this secure operation. If any part of the cloud subsequently attempts to violate these properties, the system intervenes and changes the interaction (by, for example, adding or removing operations or changing the parameters that appear in operations) to ensure that the cloud executes securely and survives the attack while continuing to provide uninterrupted service to legitimate users. Will help develop the overall research approach for CIDAR in conjunction with the principal investigator, lead the design and implementation of the project and participate in joint meetings with other performers and DARPA, present findings at MRC meetings and drive the publication of research results, and provide technical guidance to graduate students and staff engineers.
REQUIREMENTS: a master's degree (Ph.D. preferred), at least five years of experience in the area of security and systems programming, and proven research experience as evidenced by professional publications. Experience on successful DARPA projects and with dynamic binary instrumentation tools very helpful. Seek self-motivated individual with the proven ability to set goals and accomplish results with few guidelines. Excellent verbal and written communication skills required. MIT-00008377
Title: Research Scientist
Req Number: mit-00008292
RESEARCH SCIENTIST, Computer Science and Artificial Intelligence Lab (CSAIL)-Software Design Group, 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 seek someone who 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 coadvise students and participate in research proposals.
REQUIREMENTS: a Ph.D. in computer science or related field, superb programming skills, familiarity with logic and model checking, a passion for design; excellent communication and writing skills, and ability to work both independently and cooperatively with others. MIT-00008292
In addition to applying online here with a resume and cover letter, please forward the following application materials to todjresci@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) an 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 the subject line.
Title: Research Scientist
Req Number: mit-00008161
RESEARCH SCIENTIST, Computer Science and Artificial Intelligence Laboratory (CSAIL)-Program Analysis and Compilation Group-Cloud Intrusion Detection and Repair (CIDAR) Project, to help develop the overall research approach for CIDAR in conjunction with the principal investigator (PI). Will lead, along with the PI, the design and implementation of the project and participate in joint meetings with other performers and DARPA (Defense Advanced Research Projects Agency); present findings at MRC (Mission-oriented Resilient Clouds) meetings and drive the publication of research results; and provide technical guidance to graduate students and staff engineers.
The CIDAR project is part of the DARPA MRC program. The project is developing a system that observes normal interactions during the secure operation of the cloud to derive properties that characterize this secure operation. If any part of the cloud subsequently attempts to violate these properties, the system intervenes and changes the interaction (by, for example, adding or removing operations or changing the parameters that appear in operations) to ensure that the cloud executes securely and survives the attack while continuing to provide uninterrupted service to legitimate users.
REQUIREMENTS: a master's degree (Ph.D. preferred) and a minimum of five years of experience in the area of security and systems programming. Proven research experience as evidenced by professional publications is required. Experience on successful DARPA projects and with dynamic binary instrumentation tools is very helpful.
Title: Simons Postdoctoral Fellowship at the Massachusetts Institute of Technology in Theoretical Computer Science
The Theory of Computation (TOC) group at the Computer Science and
Artificial Intelligence Laboratory (CSAIL) at MIT is seeking candidates
for a post-doctoral position in the general area of the theory of
computation. Applicants in /all areas/ of theory are encouraged to
apply, including (but not exclusive to) algorithms, complexity theory,
combinatorial optimization, cryptography, distributed computing, game
theory and computation, geometry, parallel computing, and quantum
computing. This fellowship is made possible by a generous gift from the
Simons Foundation.
The fellowship is a two year position, starting the summer or fall of
2012. The fellowship stipend is gauged to attract the highest caliber of applicants.
Generous funds for scientific travel will be available for use at the fellow's discretion.
Fellows will be assigned a faculty member close to their research interests from the TOC
group. Fellows will be encouraged (although not required) to teach a graduate seminar
in their area of research.
*Eligibility*: Candidates must receive their PhD during the academic
year immediately preceding that in which the fellowship would begin.
There are no other restrictions based on nationality or any other basis
*Application Process*: Candidate applications should include a
description of professional interests and goals in research. Each
application should include a curriculum vitae and the names and
addresses of three or more individuals who will provide letters of
recommendation. Letter writers should submit their letters directly to
MIT to the address below. Please submit complete applications by January 6, 2012.
*Address to submit application*: all application materials and
recommendation letters should be sent electronically to
theory-postdoc@csail.mit.edu. The candidates name should be included in the subject
line of the email. Alternatively, the materials can be also sent to the following address:
Simons Postdoctoral Fellowship, c/o Joanne Hanley
MIT Computer Science and Artificial Intelligence Laboratory
The Stata Center, Building 32-G672A
32 Vassar Street
Cambridge, MA 02139, USA.
Title: Software Engineer
Req Number: mit-00007581
FT/PT: Full Time
SOFTWARE ENGINEER, Computer Science and Artificial Intelligence Laboratory (CSAIL)-Program Analysis and Compilation, to join a program whose goal is to protect arbitrary Windows executables from a wide range of security vulnerabilities. Will be responsible for implementing dynamic instrumentation--using binary instrumentation tools such as DynamoRIO--to detect the exploitation of security vulnerabilities such as buffer overflows, SQL command injection, error handling, etc. A focus of the research will be working with the results of static analysis of the binary to both optimize and extend detection of attacks.
REQUIREMENTS: a bachelor's degree (advanced degree preferred); a minimum of two years of experience in the area of security, compilers, or systems programming with extensive experience using Windows; a solid background in C/C++ programming; and familiarity with assemblers, preferably X86. A strong interest in low-level binary analysis and instrumentation is a must. Experience with dynamic instrumentation tools very helpful.
The position is open immediately and will run through February 2012, with the possibility of renewal pending additional funding.
Title: System Administrator, Infrastructure Group
Req Number: mit-00008609
Department: Computer Science and Artificial Intelligence Laboratory
Location(s): Cambridge MA
FT/PT: Full Time
SYSTEM ADMINISTRATOR, Computer Science and Artificial Intelligence Lab (CSAIL)-Infrastructure Group (TIG), to configure, troubleshoot, maintain, and support systems for researchers, faculty, students, and staff. This includes lab-wide servers and services, servers belonging to research groups, and users' workstations and laptops. The work involves laptop and desktop operating systems operating within the CSAIL Kerberos realm and AFS file cell and includes Debian GNU/Linux (or UNIX), Mac OS, Microsoft Windows, and server OSes including Debian and Windows.
REQUIREMENTS: a bachelor's degree in computer science; at least three years of end-user support and system administration experience, preferably in an academic setting; excellent working knowledge of GNU/Linux and Microsoft Windows operating systems, both as an end-user and as an administrator and/or in a help desk position (similar experience with Mac OS a plus); superior troubleshooting skills; familiarity with a variety of email clients; knowledge of Bourne shells (bash, sh, and/or ksh) and one or more scripting languages; excellent interpersonal, oral and written communication, and customer service skills; strong problem solving, analytical, and critical thinking skills; technical aptitude; ability to work independently to resolve client issues; and familiarity with Linux (especially Debian or Debian variants such as Ubuntu). Experience with the following a plus: MIT Kerberos and AFS, administration of one or more mail servers, Apache configuration, and revision control systems. Wiki use and administration experience also desired. MIT-00008609
Must be able to keep a consistent on-site schedule. Participation in an on-call rotation for off-hours and emergency support will require carrying a cell phone.
Title: Web Accessibility Engineer
Req Number: mit-00007890
FT/PT: Full Time
WEB ACCESSIBILITY ENGINEER, Computer Science and Artificial Intelligence Laboratory (CSAIL)-World Wide Web Consortium (W3C)-Web Accessibility Initiative (WAI), to manage the progress of accessibility solutions in HTML5. Will work with accessibility experts to develop change proposals, monitor progress, reach out to different stakeholders, respond to clarification requests, and promote implementations; provide staff support to accessibility working groups and task forces; assist in reviewing accessibility support in W3C technologies that have intersecting features with HTML5 while they are under development; and develop and document accessibility requirements for HTML-Next in coordination with WAI groups.
REQUIREMENTS: a minimum of three years' project management experience and working in team settings. Must possess in-depth knowledge of accessibility requirements across different types of disabilities; existing accessibility support in Web technologies including interoperability with assistive technologies; and WAI guidelines and specifications including WCAG, ATAG, UAAG, and WAI-ARIA. Familiarity with W3C technologies including HTML 4 and HTML5 and with W3C Process required. Excellent oral and written communication skills needed.
Interested candidates may send a cover letter and resume to Ann Seymour at aseymour@csail.mit.edu
Must be available to travel.
