Email Gateway (Aug 18 2022 at 10:35): Email Gateway (Aug 18 2022 at 10:35):From: John Matthews <matthews@galois.com>
Galois, Inc. specializes in building security-critical high assurance
software and tools. Much of our software is developed using
functional programming languages such as Haskell. We also apply
formal methods to our most critical software components, and build
compilers and formal analysis tools for security-critical programming
languages.
We are continuing to grow, and now have multiple openings for
experienced functional language software developers, particularly
"product-oriented" people who want to write high assurance industrial
applications and tools. Experience with formal methods is helpful,
but not necessary.
If you are interested, please contact Galois at jobs@galois.com
More detail on our current job openings can be found at http://
www.galois.com/join.php
John Matthews
Senior Member of Technical Staff
Galois, Inc.
www.galois.com
Last updated: May 03 2024 at 12:27 UTC