[Haskell-cafe] Internship opportunities at Galois

Adam Foltzer acfoltzer at gmail.com
Fri Nov 1 19:11:21 UTC 2013


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.

Please pass along this posting to anyone you think might be interested,
even if they don't yet know Haskell!

Thank you,
Adam Foltzer


# Galois Software Engineering/Research Intern #

Galois is currently seeking software engineering and research interns
for 2014 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.

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.

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.

## About Galois ##

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.

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

## How to Prepare ##

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.

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:

- [Learn You a Haskell for Great Good!] [1] by Miran Lipovača
- [Real World Haskell] [2] by Bryan O'Sullivan, Don Stewart, and John
- [tryGit] [3] by Code School
- [Pro Git] [4] by Scott Chacon

[1]: http://learnyouahaskell.com/
[2]: http://book.realworldhaskell.org/
[3]: http://try.github.io
[4]: http://git-scm.com/book

## Qualifications ##

- The ability to be geographically located in Portland during the internship
- Experience reading, writing, and maintaining code in a project as
described above
- Proficiency in software development practices such as design,
  documentation, testing, and the use of version control
- Well-developed verbal and written communication skills; comfort in a
  collaborative team environment

The following skills are not required, but may be relevant to a
particular project.

- Proficiency in Haskell or other programming languages with rich type
  systems (eg., OCaml, Standard ML, Scala)
- Experience using C and assembly languages for low-level systems
- Development experience in high assurance systems or security software
- Specific experience in an area of Galois' expertise, such as:
    - Assured information sharing
    - Software modelling and formal verification
    - Cyber-physical systems and control systems
    - Operating systems, virtualization and secure platforms
    - Networking and mobile technology
    - Cyber defense systems
    - Scientific computing
    - Program analysis and software evaluation
    - Web security

## Logistics ##

The length and start date of the internship are negotiable:
starting any time from the new year through next fall 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.

## Application Details ##

Send an email to careers at galois.com with the subject line "Internship
2014" with the following contents:

- Email body: a brief plain-text note explaining your interests,
  experience, and other relevant details
- Attachment: CV/Resume (PDF, plain text, or markdown only)

**Applications must be received at least two months before the desired
start date**. For example, we must receive your application by
November 6, 2013, if you wish to start on January 6, 2014.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131101/31ff44eb/attachment.html>

More information about the Haskell-Cafe mailing list