Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Introducing HERMIT: A Plugin for Transforming GHC Core Language Programs speaker: Andrew Farmer time: Tuesday, 09 April 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Inferring Phylogenies Using Evolutionary Algorithms speaker: Erlend Hamberg time: Tuesday, 12 March 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Parametricity, Quotient types, and Theorem transfer speaker: Brian Huffman time: Tuesday, 05 March 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Automatic Function Annotations for Hoare Logic speaker: Daniel Matichuk time: Tuesday, 12 February 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

(There is no need to pre-register for the talk.) title: Computers and privacy, ACLU of Oregon discusses their 2013 agenda speaker: Becky Straus time: Tuesday, 4 December 2012, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of the Commonwealth building) abstract: Efforts at the federal level to pass […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Towards a Formally Verified Component Platform speaker: Matthew Fernandez time: Tuesday, 16 October 2012, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

We are currently seeking software engineers/researchers to play a pivotal role in fulfilling our mission of creating trustworthiness in critical systems. Galois engineers/researchers participate in one or more projects concurrently, and specific roles vary greatly according to skills, interests, and company needs. Your role may include technology research and development, requirements gathering, implementation, testing, formal […]

Check out these ICFP presentations by Galois team members: Efficient Lookup-Table Protocol in Secure Multiparty Computation Video Presentation John Launchbury: watch video – http://www.youtube.com/watch?v=I79PwWpUx9c Paper John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, and Andy Adams-Moran. 2012. Efficient lookup-table protocol in secure multiparty computation. In “Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming” […]

We are pleased to announce the availability of a new tech talk video: “Comprehensive Analysis of the Android Ecosystem”, presented by Iulian Neamtiu. For more details, please visit the talk announcement page. For more videos, please visit our Vimeo channel.

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) Please note the unusual time for this talk. It is on Thursday at 11am. title: Formal Verification of Monad Transformers speaker: Brian Huffman time: Thursday, 30 August […]