<div dir="ltr"><div><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div style="font-family:'Helvetica Neue';font-size:14px">Galois has some exciting opportunities for interns in software research and engineering for the Winter/Spring of 2016. Most of our projects use Haskell to some extent, so this is a great chance to get experience applying functional programming to important real-world problems.</div><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Please pass along this posting to anyone you think might be interested--even if they don't yet know Haskell!</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Thank you,</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Ryan Wright</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"># Galois Software Engineering/Research Intern #</div><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><div style="font-family:'Helvetica Neue';font-size:14px">Galois is currently seeking software engineering and research interns for Winter/Spring 2016 at all educational levels. We are committed to matching interns with exciting and engaging engineering work that fits their particular interests, creating lasting value for interns, Galois, and our community. A Galois internship is a chance to tackle cutting-edge, meaningful problems in a uniquely collaborative environment with world-leading researchers.</div><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Roles may include technology research and development, requirements gathering, implementation, testing, formal verification, and infrastructure development. Past interns have integrated formal methods tools into larger projects, built comprehensive validation suites, synthesized high-performance cryptographic algorithms, written autopilots for quad-copters, designed the syntax and semantics of scripting languages, and researched type system extensions for academic publication.</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">We deeply believe in providing comprehensive support and mentorship to all of our employees, particularly interns. We provide our employees with a steward who regularly checks in to ensure that they feel welcome and safe in the Galois community while gaining real value from their experiences.</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">## Important Dates ##</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><div style="font-family:'Helvetica Neue';font-size:14px">Applications due: October 1st, 2015</div><div style="font-family:'Helvetica Neue';font-size:14px">Internship period (flexible): January through April, 2016</div><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">## About Galois ##</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Our mission is 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 over ten years using functional programming, language design, and formal methods.</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Galois values diversity. We believe that differing viewpoints and experiences are essential to the process of innovation. We look broadly, including outside of established communities, to deliver innovation.</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">## How to Prepare ##</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">An internship is an opportunity for learning and growth as an engineer. To make the most of the opportunity, we ask that candidates have experience reading, writing, and maintaining code in a realistic project. Many university courses involve multi-week collaborative projects that provide this type of experience.</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Most of our projects use the Haskell programming language and the git version control system. These tools aren’t often taught in computer science classes, but there are many free resources available that we recommend for learning:</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- [Learn You a Haskell] for Great Good! [1] by Miran Lipovača</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- [Real World Haskell] [2] by Bryan O’Sullivan, Don Stewart, and John Goerzen</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- [tryGit] [3] by Code School</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- [Pro Git] [4] by Scott Chacon</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">[1]: <a href="http://learnyouahaskell.com/">http://learnyouahaskell.com/</a></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">[2]: <a href="http://book.realworldhaskell.org/">http://book.realworldhaskell.org/</a></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">[3]: <a href="http://try.github.io">http://try.github.io</a></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">[4]: <a href="http://git-scm.com/book">http://git-scm.com/book</a></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">## Qualifications ##</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">The ability to be geographically located in Portland during the internship</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Experience reading, writing, and maintaining code in a project as described above</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Proficiency in software development practices such as design, documentation, testing, and the use of version control</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">Well-developed verbal and written communication skills; comfort in a collaborative team environment</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">The following skills are not required, but may be relevant to a particular project.</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- Proficiency in Haskell or other programming languages with rich type systems (eg., OCaml, Standard ML, Scala)</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- Experience using C and assembly languages for low-level systems programming</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- Development experience in high assurance systems or security software</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">- Specific experience in an area of Galois’ expertise, such as:</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Assured information sharing</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Software modeling and formal verification</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Cyber-physical systems and control systems</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Operating systems, virtualization and secure platforms</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Networking and mobile technology</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Cyber defense systems</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Scientific computing</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Program analysis and software evaluation</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">  - Web security</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">## Logistics ##</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">The length and start date of the internship are negotiable: starting any time from the new year through next spring is acceptable, but an intern must be at Galois for at least three continuous months. The internship is paid competitively, and interns are responsible for living arrangements (although we can certainly help you find arrangements). Galois is located in the heart of downtown Portland with multiple public transportation options available and world-class bicycle infrastructure.</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">## Application Details ##</div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px"><br></div><span style="font-family:'Helvetica Neue';font-size:14px">
</span><div style="font-family:'Helvetica Neue';font-size:14px">We’re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. If you are interested, please send your cover letter and resume to us via <a href="http://galois-inc.hiringthing.com">http://galois-inc.hiringthing.com</a>.</div></div></div></div></div></div></div></div></div>
</div>