Skip to main content

Principles and Methodologies

Overview

2010 Post-Doctoral and Summer Internship Positions with the Theory Group

The Theory Group has a post-doctoral position available for recent graduates to pursue research in theoretical computer science. The position is for two years, starting in the summer or fall of 2010. We also have summer internship positions available for summer 2010, for students with a strong background in theoretical computer science. Applicants for these positions may apply by sending:

  • a curriculum vitae, including a list of publications
  • names of at least three references with their contact information
  • a cover letter, indicating interest in a post-doc or summer internship

to csjobs_theory@almaden.ibm.com.

Please also ask your references to send letters of recommendation on your behalf to the same email address.

We would prefer documents in the pdf file format.

Applications received by January 31, 2010, will receive full consideration.

IBM is an equal opportunity employer committed to creating a diverse work environment.

The IBM Computer Science Principles and Methodologies Group (aka the Theory Group) explores foundational issues that confront the computing industry today. Because theory cuts across every aspect of computer science, we tend to interact with a large number of other research teams.

Projects

We have ongoing projects in the following areas:

  • Algorithms: How can we get computers to solve problems efficiently?
  • Complexity: What computational resources (time, storage, etc) do problems inherently require?
  • Database Principles: What models and algorithms are useful in helping computers store and retrieve information efficiently?

Current Activities

Recent Awards

External Awards


IBM Research Awards

Members

Postdoctoral Fellows

  • Benny Kimelfeld: Database theory, XML, query optimization, enumeration algorithms and complexity, probabilistic databases, incomplete information, ranking techniques, information retrieval.
  • C. Seshadhri: Sublinear algorithms and property testing, approximation algorithms, computational geometry, machine learning
  • Ryan Williams [IBM Raviv Memorial Fellow]: Algorithms and complexity theory

Summer interns

  • 2009: Ilias Diakonikolas, Jelani Nelson
  • 2008: Shipra Agrawal, Steve Hanneke, Swastik Kopparty, Homin Lee, Jelani Nelson, Prasad Raghavendra
  • 2007: Alexandr Andoni, Seshadhri Comandur, Mihai Pătraşcu
  • 2006: Alexandr Andoni, Nilesh Dalvi, Ben Rossman, Atri Rudra
  • 2005: Kamalika Chaudhuri, Parikshit Gopalan, Satyen Kale, Elitza Maneva, Ciamac Moallemi
  • 2004: Marcelo Arenas, Shuchi Chawla, Iordanis Kerenidis, James Lee, Eugene Nudelman
  • 2003: Iordanis Kerenidis, David Liben-Nowell, Erik Vee, An Zhu
  • 2002: Gagan Aggarwal, Aaron Archer, Mayur Datar, Subhash Khot, Matthias Ruhl
  • 2001: Aaron Archer, Ziv Bar-Yossef, April Rasala, Tim Roughgarden, Matthias Ruhl, An Zhu
  • 2000: Andris Ambainis, Ziv Bar-Yossef, Venkatesan Guruswami, Liadan O'Callaghan, Adam Kalai, Byunggyoo Kim, John Langford
  • 1999: Moses Charikar, Venkatesan Guruswami, Amit Sahai

Recent short-term visitors

  • Guy Kindler (Aug 10 - Aug 21, 2009)
  • Suresh Venkatasubramanian (Jul 27 - Aug 8, 2009)
  • Robi Krauthgamer (Jul 13 - Jul 24, 2009)
  • Aravind Srinivasan (Jun 24 - Jun 26,2009)
  • Bruno Marnette (Apr 7-May 7, 2008)
  • Lisa Fleischer (Aug 27-31, 2007)
  • Amit Chakrabarti (Jun 1-29, 2007)
  • Marcelo Arenas (Jun 4-8, 2007)
  • Tim Roughgarden (Sep 5-6 and Sep 12-22, 2006)
  • Amit Chakrabarti (Aug 14-25, 2006)
  • Matt Valeriote (June 5-10, 2006)
  • Mihai Patrascu (Apr 26-May 1, 2006)
  • Daniela Pucci de Farias (Jan 31-Feb 3, 2006)
  • Jeremy Schwartz (Jan 31-Feb 3, 2006)
  • Manoj Prabhakaran (Dec 19-Dec 21, 2005)
  • Yuval Rabani (Oct 10-Oct 21, 2005)
  • Daniela Pucci de Farias (Aug 1-Aug 5, 2005)
  • Eli Ben-Sasson (Apr 18-May 5, 2005)
  • Yuval Rabani (Feb 8-Feb 23, 2005)
  • Albert Atserias (Jan 31-Feb 11, 2005)
  • Daniela Pucci de Farias (Jan 18-Jan 24, 2005)
  • Ravi Sundaram (Nov 8-Nov 15, 2004)
  • Seffi Naor (Aug 30-Sep 10, 2004)
  • Amit Chakrabarti (Aug 9-Aug 20, 2004)
  • Leonard Schulman (Aug 9-Aug 12, 2004)
  • Daniela Pucci de Farias (Aug 2-Aug 9, 2004)
  • Moshe Y. Vardi (Jul 26-Jul 30, 2004)
  • Yuval Rabani (Jun 28-Jul 16, 2004)

Recent longer-term visitors and postdoctoral fellows

  • Mihai Pătraşcu (2008-2009)[IBM Raviv Memorial Fellow]
  • Balder ten Cate (Jan - Aug, 2008)
  • Elitza Maneva (2006-2008) [postdoctoral fellow]
  • Aranyak Mehta (2005-2007) [postdoctoral fellow]
  • Erik Vee (2004-2006) [postdoctoral fellow]
  • Matthias Ruhl (2003-2004) [Joseph Raviv postdoctoral fellow]
  • Daniela Pucci de Farias (2002-2003)

arrow image IBM Research CS Algorithms & Theory

Dr. Kenneth L. Clarkson

Dr. Kenneth Clarkson, Senior Manager Computer Science Principles and Methodologies

Senior Manager, Computer Science Principles and Methodologies

Tribute to John Backus

A tribute to John Backus, one of the first members of our Theory Group, written by Alex Aiken