Skip to main content

Carnegie Mellon University's Ph.D. program in Software Engineering

Are you looking for a chance to shape the future of software engineering?  Carnegie Mellon University's Ph.D. program in Software Engineering offers the chance to work with any of a dozen world-class faculty members in research areas from architecture and analysis to program repair, requirements, and software analytics.  Our students are working on big-impact problems such as:

  • Typechecking and analyzing all configurations of Linux
  • Automatically finding patches for bugs in production software
  • Building software system that adapt automatically in the face of change, enabling them to run almost indefinitely without human oversight
  • Increasing developer productivity and code quality with techniques as diverse as type systems and team composition
  • Using newly developed logics to understand complex legal requirements documents such as the HIPAA privacy regulations


We are looking for students with a strong record in the university or in industry, who have a passion for discovering knowledge and improving software engineering tools and practices.  Applications are due in early December.  For more information, please visit our website at:



Comments

  1. I don't know what you have been going through these days https://www.reportwritingservice.net/order-your-book-reports-online/ but really want to wish you that May all your problems get away soon.

    ReplyDelete
  2. I am a big fan of sherlock and I love your blogs. The pictures are amazing. Please keep posting look here about this. I was just looking for something like this. Fantastic job.

    ReplyDelete
  3. Thanks for this tip. One of the best ways of saving time and money when traveling is through online bookings. It is safe and reliable and website when you reach your destination, you have a bed to crash on. Go for it!

    ReplyDelete
  4. Good blog post, Graduated class are the fundamental Indian school which offers different sorts of the courses to wherever all through the all inclusive community. The organization of this more info is so extraordinary and I welcome this organization.

    ReplyDelete
  5. Great news, People purchase the lottery for the money and only some place in the scope of couple of people can win this shot. This http://www.lorwriting.com/writing-job-recommendation-letter/ site are so blessed who prepared to win this money and generally people just think about it.

    ReplyDelete

Post a Comment

Popular posts from this blog

CS/Data Science/Digital Hardware option transfers NOW OPEN

The CS Undergraduate Advising Office has opened applications for CS transfers for Fall 2017. The online application is available at  https://oat.uwaterloo.ca/forms   and will be open from Tuesday, December 5 until  Sunday, December 31, 2017, at 11.59 p.m. We're accepting applications for: Transfer from Math to CS - at a minimum, must have taken CS 136 or be taking it in Fall 2017. Transfer from CS to BCS (Data Science) - must have taken STAT 231 or be taking it in Fall 2017. Transfer from CS to CS/Digital Hardware Adding a Joint CS to an out-of-faculty plan Transfer from outside of Math to CS (pending approval from Math) Answers to common questions about the transfer process can be found in the CS FAQs  (particularly #2 and #151).

AI, Internet of Things, Cybersecurity Online Conference - October 14 & 15, 2017

The world’s largest online conference kicks off this fall stronger than ever by assembling the best  industry leaders, disruptive minds, and visionaries. You’ve read their books and applied their work - now  it’s time to ask them questions, talk to them individually, accept their challenges, and get their feedback!  300 speakers interact with you through live talks, Q&A’s, forum and 1-to-1 video calls. Topics range from  ML to cyber intelligence to industrial IoT. Confirmed speakers for October 14&15th: Ian Goodfellow - Research Scientist, Google Brain Hugo Larochelle - Research Scientist, Google Sandy Carter - VP, Amazon Web Services Louis Monier - Head of AI, AirBnB Tim Abels - Director of Server Architecture, Intel Ashok Banerjee - CTO and VP Engineering, Symantec Andreas Mueller - Lecturer in Data Science, Columbia University Roman Yampolskiy - Assistant Professor, University of Louisville Patrick McDaniel - Distinguished Professor, Penn State ...

GSA SPARK 2020

  GSA SPARK Join us in the fight against SPARK!   In GSA Capital’s boardroom sits SPARK — a decades-old blade server, entombed forever in acrylic to be displayed as a proud reminder of GSA’s journey.   SPARK was an invaluable step toward the sophisticated algorithms in use today, but was retired from active trading and destined never to be booted up again.    But last night, through a series of unfortunate errors, the server was reconnected to GSA’s internal network. In the decades spent sitting on the boardroom shelf its algorithms have warped beyond recognition. SPARK now has a conscience of its own...   Compete to win prizes! Compete with other students in a race to shut SPARK down before it finds a way to dominate every electronic trading market in the world.   For 21 days a range of exciting daily prizes will be on offer to those brave enough to take on SPARK in a series of fiendishly difficult challenges. The contestant deemed to have been most i...