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: Software Engineer
Req Number: mit-00007590
Department: Computer Science and Artificial Intelligence Laboratory
Location(s): Cambridge MA
FT/PT: Full Time
Employment / Payroll Category: SRS (Research)
SOFTWARE ENGINEER, Computer Science and Artificial Intelligence Laboratory (CSAIL)-Program Analysis and Compilation, to join a group whose goal is to protect arbitrary Java programs from a wide range of security vulnerabilities. Will be responsible for implementing dynamic instrumentation (using bytecode manipulation tools such as ASM) to detect the exploitation of security vulnerabilities such as SQL/command injection, error handling, etc. A focus of the research will be working with the results of static analysis of the class files to both optimize and extend detection of attacks. The resulting tools will be tested--at multile phases--by an independent evaluation team to determine their effectiveness at preventing attacks while avoiding false positives.
REQUIREMENTS: a bachelor's degree (advanced degree preferred); a minimum of two years' experience in the area of security, compilers, or systems programming; and a solid background in Java programming. Experience with bytecode manipulation tools and/or Java bytecodes very helpful. Must display a strong interest in low-level analysis and instrumentation. MIT-00007590
The appointment is scheduled to run through February 2012, with the possibility of renewal pending additional funding.
Title: Software Engineer
Req Number: mit-00007581
Department: Computer Science and Artificial Intelligence Laboratory
Location(s): Cambridge MA
FT/PT: Full Time
Employment / Payroll Category: SRS (Research)
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. MIT-00007581
The position is open immediately and will run through February 2012, with the possibility of renewal pending additional funding.
