Announcing: Internship Available at Galois, Inc.

Galois, Inc. has a Fall 2011 internship available in Portland, Oregon, USA.

  • PROJECT OVERVIEW: The project is a research project investigating security in the domain of embedded software in robotic vehicles. We are investigating techniques in which runtime monitoring can detect and mitigate attacks. This is a research project, and directions are open-ended. You will have influence on the technical direction and your specific work. Your work may result in publications. 

  • LOGISTICS: This is nomialy a three month internship, but other durations will be considered (no less than two months, though). Ideally, we are looking for an intern for the October – December timeframe, but earlier start dates are negotiable. The internship is paid, and the intern will be responsible for her own living arrangements (although we can certainly help you find arrangements). Galois is located in the heart of downtown, with multiple public transportation options available, so living here without an automobile is a viable option. 



      • The ability to work in the United States.
      • The ability to be geographically located in Portland.
      • Some experience with writing C/assembly.
      • Some experience with operating systems concepts.

    • NICE-TO-HAVES (but not necessary):

      • Interest in/experience with Haskell.
      • Interest in/experience with real-time systems, RTOSes, and scheduling.
      • Interest in/experience with WCET analysis.
      • Interest in/experience with software security.
      • Interest in/experience with static analysis.
      • Experience with the ARM and/or AVR architecture/assembly.
      • Interest in embedded systems and particularly flight-control software.
      • Good writing skills/experience in writing technical papers.

    • DO NOT NEED: A specific degree (we’re interested in hearing from post-docs, graduate students, and undergrads). 

  • ABOUT GALOIS: Galois, Inc. is located in Portland, Oregon with a mission to create trustworthiness in critical systems. We’re in the business of taking blue-sky ideas and turning them into real-world technology solutions. We’ve been developing real-world systems for the past 10 years using Haskell. To get a sense of life at Galois, one of our interns documented his internship on his blog

  •  TO APPLY: Please email a C.V. (PDF or plain text) and a brief (plain text) note stating your interest and experience to Lee Pike <>.



Application due date: ASAP, but no later than July 1st