[Agda] Internship Opportunity at Galois: Winter/Sprint 2016

[Ryan Wright]

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.

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

Thank you,
Ryan Wright


# Galois Software Engineering/Research Intern #

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.

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.

## Important Dates ##

Applications due: October 1st, 2015
Internship period (flexible): January through April, 2016

## 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 innovation.

## 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
Goerzen
- [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
programming
- Development experience in high assurance systems or security software
- Specific experience in an area of Galois’ expertise, such as:
  - Assured information sharing
  - Software modeling 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 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.

## Application Details ##

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
http://galois-inc.hiringthing.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150817/6e664ea8/attachment.html