[Haskell-cafe] Announcing a summer internship for a NASA-sponsored project

************************************************ * ANNOUNCING: * * SUMMER INTERNSHIP FOR NASA-SPONSORED PROJECT * ************************************************ The National Institute of Aerospace (NIA) and Galois, Inc. would like to announce a Summer Visitor position for a joint in the summer of 2010 (and the summer of 2011). The position will be located at the NIA, located in the historic Hampton Roads area of Virginia, U.S. The visitor will work with researchers at both the NIA and Galois. PROJECT OVERVIEW: We are looking for a summer visitor to work on a NASA-sponsored project investigating runtime monitoring applied to hard real-time distributed systems such as avionics. Runtime monitoring is an approach to check a system's conformance to safety specifications at runtime. The work is being directed by Dr. Alwyn Goodloe (NIA) and Dr. Lee Pike (Galois, Inc.)---contact below. The visitor's work will depend on the skills and interests of the student, but it will likely focus on the development and application of of a monitor synthesis tool, CoPilot. Copilot takes property specification and synthesizes monitors for the properties to embedded C. Copilot is a Haskell library built on top of the Haskell eDSL Atom <http://hackage.haskell.org/package/atom>. The work is expected to lead to one or more conference publications. QUALIFICATIONS: * MUST-HAVES: * The candidate should have significant experience in programming in modern typed functional programming languages such as Haskell, OCAML, or Clean (programming will be done mainly in Haskell). * Some experience and exposure to writing and debugging C programs. * Some experience with using and configuring *nix systems. * NICE-TO-HAVES: * Experience with real-time systems, RTOSes, scheduling, distributed systems, control theory, or avionics. * Experience or interest in in configuring a small distributed hardware-based system (e.g., using Arduinos). * Experience or interest in formal methods (e.g., model-checking, temporal logics, runtime monitoring). * Good writing skills/experience in writing technical papers. * Interest in continuing collaboration at his or her home institution during the remainder of the year. * Interest in an internship for the summers of 2010 *and* 2011. * Interest in NASA. * DO *NOT* NEED: * A degree (we're interested in hearing from post-docs, graduate students, and undergrads). * U.S. citizenship or work visa (all expenses are paid, but we anticipate this being an unpaid internship). ABOUT THE NIA: The National Institute of Aerospace is a nonprofit institution with both research and educational components. We have both full-time research staff members as well as faculty and graduate students from our six member universities. Research carried out at NIA includes fluid mechanics, space vehicle design, atmospheric science, material science, and computer science. Within computer science, the primary focus is in formal methods, and we work closely with the formal methods group at NASA's Langley Research Center, located less than one mile away. The visitor will have an opportunity for frequent interaction with the NASA Langley Formal Methods Group. The NIA is located in Hampton, Virginia. The cities of Norfolk and Virginia Beach are nearby as is historic Colonial Willamsburg. Numerous attractions and activities are available within an hour's drive. Within a couple of hours are the Outer Banks of North Carolina and Washington DC, which are popular weekend getaways for our summer visitors. NASA and NIA both host a large number of summer visitors (undergraduate and graduate students) from around the world. 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. BENEFITS: This is anticipated to be an unpaid but internship in which all living expenses are covered. These include * travel expenses to and from the NIA and your home * housing allowance * food allowance * rental car and gas TO APPLY: Please email a C.V. (PDF or plain text) and a brief plain text note statting your interest and experience to Dr. Alwyn Goodloe at <alwyn.goodloe at nianet.org >. There is flexibility regarding the dates of the visit. *************************************** * Application due date: Jan. 15, 2010 * *************************************** LEARN MORE: * NIA website: http://www.nianet.org/ * Galois website: http://www.galois.com/ * Hampton Roads: http://en.wikipedia.org/wiki/Hampton_Roads * NASA Langley Formal Methods Group: http://shemesh.larc.nasa.gov/fm/ Please email either Dr. Alwyn Goodloe <alwyn.goodloe at nianet.org> and/ or Dr. Lee Pike <leepike at galois.com> with any questions.