<div dir="ltr">Hello,<div><br></div><div>Galois has some exciting opportunities for interns in software engineering and research for 2014. Most of our projects use Haskell to some extent, so this is a great chance to get experience applying functional programming to real-world problems.</div>
<div><br></div><div>Please pass along this posting to anyone you think might be interested, even if they don't yet know Haskell!</div><div><br></div><div>Thank you,</div><div>Adam Foltzer</div><div><br></div><div>---</div>
<div><br></div><div><div># Galois Software Engineering/Research Intern #</div><div><br></div><div>Galois is currently seeking software engineering and research interns</div><div>for 2014 at all educational levels. We are committed to matching</div>
<div>interns with exciting and engaging engineering work that fits their</div><div>particular interests, creating lasting value for interns, Galois, and</div><div>our community. A Galois internship is a chance to tackle cutting-edge,</div>
<div>meaningful problems in a uniquely collaborative environment with</div><div>world-leading researchers.</div><div><br></div><div>Roles may include technology research and development, requirements</div><div>gathering, implementation, testing, formal verification, and</div>
<div>infrastructure development. Past interns have integrated formal</div><div>methods tools into larger projects, built comprehensive validation</div><div>suites, synthesized high-performance cryptographic algorithms, written</div>
<div>autopilots for quad-copters, designed the syntax and semantics of</div><div>scripting languages, and researched type system extensions for</div><div>academic publication.</div><div><br></div><div>We deeply believe in providing comprehensive support and mentorship to</div>
<div>all of our employees, particularly interns. We provide our employees</div><div>with a steward who regularly checks in to ensure that they feel</div><div>welcome and safe in the Galois community while gaining real value from</div>
<div>their experiences.</div><div><br></div><div>## About Galois ##</div><div><br></div><div>Our mission is to create trustworthiness in critical systems. We're in</div><div>the business of taking blue-sky ideas and turning them into real-world</div>
<div>technology solutions. We've been developing real-world systems for</div><div>over ten years using functional programming, language design, and</div><div>formal methods.</div><div><br></div><div>Galois values diversity. We believe that differing viewpoints and</div>
<div>experiences are essential to the process of innovation. We look</div><div>broadly, including outside of established communities, to deliver</div><div>innovation.</div><div><br></div><div>## How to Prepare ##</div><div>
<br></div><div>An internship is an opportunity for learning and growth as an</div><div>engineer. To make the most of the opportunity, we ask that candidates</div><div>have experience reading, writing, and maintaining code in a realistic</div>
<div>project. Many university courses involve multi-week collaborative</div><div>projects that provide this type of experience.</div><div><br></div><div>Most of our projects use the Haskell programming language and the git</div>
<div>version control system. These tools aren't often taught in computer</div><div>science classes, but there are many free resources available that we</div><div>recommend for learning:</div><div><br></div><div>- [Learn You a Haskell for Great Good!] [1] by Miran Lipovača</div>
<div>- [Real World Haskell] [2] by Bryan O'Sullivan, Don Stewart, and John Goerzen</div><div>- [tryGit] [3] by Code School</div><div>- [Pro Git] [4] by Scott Chacon</div><div><br></div><div>[1]: <a href="http://learnyouahaskell.com/">http://learnyouahaskell.com/</a></div>
<div>[2]: <a href="http://book.realworldhaskell.org/">http://book.realworldhaskell.org/</a></div><div>[3]: <a href="http://try.github.io">http://try.github.io</a></div><div>[4]: <a href="http://git-scm.com/book">http://git-scm.com/book</a></div>
<div><br></div><div>## Qualifications ##</div><div><br></div><div>- The ability to be geographically located in Portland during the internship</div><div>- Experience reading, writing, and maintaining code in a project as described above</div>
<div>- Proficiency in software development practices such as design,</div><div>  documentation, testing, and the use of version control</div><div>- Well-developed verbal and written communication skills; comfort in a</div>
<div>  collaborative team environment</div><div><br></div><div>The following skills are not required, but may be relevant to a</div><div>particular project.</div><div><br></div><div>- Proficiency in Haskell or other programming languages with rich type</div>
<div>  systems (eg., OCaml, Standard ML, Scala)</div><div>- Experience using C and assembly languages for low-level systems programming</div><div>- Development experience in high assurance systems or security software</div>
<div>- Specific experience in an area of Galois' expertise, such as:</div><div>    - Assured information sharing</div><div>    - Software modelling and formal verification</div><div>    - Cyber-physical systems and control systems</div>
<div>    - Operating systems, virtualization and secure platforms</div><div>    - Networking and mobile technology</div><div>    - Cyber defense systems</div><div>    - Scientific computing</div><div>    - Program analysis and software evaluation</div>
<div>    - Web security</div><div><br></div><div>## Logistics ##</div><div><br></div><div>The length and start date of the internship are negotiable:</div><div>starting any time from the new year through next fall is acceptable,</div>
<div>but an intern must be at Galois for at least three continuous</div><div>months. The internship is paid competitively, and interns are</div><div>responsible for living arrangements (although we can certainly help</div>
<div>you find arrangements). Galois is located in the heart of downtown</div><div>Portland with multiple public transportation options available and</div><div>world-class bicycle infrastructure.</div><div><br></div><div>## Application Details ##</div>
<div><br></div><div>Send an email to <a href="mailto:careers@galois.com">careers@galois.com</a> with the subject line "Internship</div><div>2014" with the following contents:</div><div><br></div><div>- Email body: a brief plain-text note explaining your interests,</div>
<div>  experience, and other relevant details</div><div>- Attachment: CV/Resume (PDF, plain text, or markdown only)</div><div><br></div><div>**Applications must be received at least two months before the desired</div><div>
start date**. For example, we must receive your application by</div><div>November 6, 2013, if you wish to start on January 6, 2014.</div></div><div><br></div></div>