shpat

Registration now open

Have you had any luck getting your Claude quota bumped on Bedrock? I tried working through AWS support but got nowhere. Gave up and used Vertex + Gemini

Here’s the fact sheet they reference[0] with nutrient loss info. Interestingly, vitamin C seems to suffer the most.

[0] https://nchfp.uga.edu/how/dry/csu_dry_vegetables.pdf

Here’s the presentation in video form with a bit more context & detail.

https://youtu.be/-O01G3tSYpU

Galois | Full Time Research Engineer, Cryptography and Secure Computation Researcher, Software Integration Engineer, others | Portland, OR, Arlington, VA, Dayton, OH | Galois is looking for software engineers, researchers, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology.

Galois is employee-owned, we have a one-level flat organizational structure, and we make important decisions as a group. We love to learn and share what we know, and that’s a big part of how we approach R&D, so we have no hard requirements for previous experience with similar work.

Some of the things we've worked on in the past: Formal methods, static analysis, binary analysis, cryptographic algorithms, domain specific languages, programming languages theory, abstract interpretation, type theory, formal verification and software correctness, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, statistical anomaly detection for detecting advanced persistent threats.

See https://lifeatgalois.com for a glimpse of how we work together and what makes Galois special. To apply: https://galois.com/careers/

Galois | Full Time Research Engineer, Cryptography and Secure Computation Researcher, Software Integration Engineer, others | Portland, OR, Arlington, VA, Dayton, OH |

Galois is looking for software engineers, researchers, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology.

Galois is employee-owned, we have a one-level flat organizational structure, and we make important decisions as a group. We love to learn and share what we know, and that’s a big part of how we approach R&D, so we have no hard requirements for previous experience with similar work.

Some of the things we've worked on in the past: Formal methods, static analysis, binary analysis, cryptographic algorithms, domain specific languages, programming languages theory, abstract interpretation, type theory, formal verification and software correctness, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, statistical anomaly detection for detecting advanced persistent threats.

See https://lifeatgalois.com for a glimpse of how we work together and what makes Galois special. To apply: https://galois.com/careers/

Galois can support you if you have visa issues, yes.

Galois | Full Time Research Engineer, Technical Project Lead, Hardware Engineer, Software Integration Engineer| Portland, OR, Arlington, VA, Dayton, OH |

Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology.

Galois is employee-owned, we have a one-level flat organizational structure, and we make important decisions as a group. We love to learn and share what we know, and that’s a big part of how we approach R&D, so we have no hard requirements for previous experience with similar work.

Some of the things we've worked on in the past: Formal methods, static analysis, binary analysis, cryptographic algorithms, domain specific languages, programming languages theory, abstract interpretation, type theory, formal verification and software correctness, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, statistical anomaly detection for detecting advanced persistent threats.

We think working here is awesome (See https://lifeatgalois.com) To apply: https://galois.com/careers/

Galois | Full Time Research Engineer, Technical Project Lead, Hardware Engineer, Software Integration Engineer| Portland, OR, Arlington, VA, Dayton, OH |

Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology.

Galois is employee-owned, we have a one-level flat organizational structure, and we make important decisions as a group. We love to learn and share what we know, and that’s a big part of how we approach R&D, so we have no hard requirements for previous experience with similar work.

Some of the things we've worked on in the past: Formal methods, static analysis, binary analysis, cryptographic algorithms, domain specific languages, programming languages theory, abstract interpretation, type theory, formal verification and software correctness, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, statistical anomaly detection for detecting advanced persistent threats.

We think working here is awesome (See https://lifeatgalois.com) To apply: https://galois.com/careers/

Can I ask why not? I would be really interested, if you feel like sharing. If so, see my contact info in my profile.

Galois | Full Time Research Engineer | Portland, OR, Arlington, VA, Dayton, OH | Remote a possibility

Galois is looking for software engineers and researchers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology.

Research engineers choose which projects they work on, and they can move from one project to another based on their interests. Galois is employee-owned, we have a one-level flat organizational structure, and we make important decisions as a group. We love to learn and share what we know, and that’s a big part of how we approach R&D, so we have no hard requirements for previous experience with similar work.

Some of the things we've worked on in the past: Formal methods, static analysis, binary analysis, cryptographic algorithms, domain specific languages, programming languages theory, abstract interpretation, type theory, formal verification and software correctness, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, statistical anomaly detection for detecting advanced persistent threats.

We think working here is awesome (See https://lifeatgalois.com)

To apply: https://galois.com/careers/software-engineer/

Software Engineer/Researcher @ Galois | Portland, OR, Arlington, VA, Dayton, OH. Remote is also a possibility.

Galois is looking for software engineers and researchers that enjoy working on challenging problems in computer science. We work with organizations like DARPA to explore blue sky ideas and turn them into usable technology that guarantees trustworthiness where failure is unacceptable.

We own the company together (through an ESOP), we make important decisions as a group, we have a one-level flat organizational structure, and people get to choose what they work on. We love to learn and share what we know, and that’s a big part of how we approach R&D, so we have no hard requirements for previous experience with similar work.

We think working here is awesome (See https://lifeatgalois.com)

To apply: https://galois.com/careers/software-engineer/

Out of curiosity, what do you think the horrible ideas are?

Worth noting that we've open sourced the toolset used to generate code for the Little Bird, available at http://ivorylang.org

This formal verification walkthrough goes through the hows and whys of a recent project with Amazon that may have some answers for you. Obviously a different project but the fundamentals are similar https://galois.com/blog/2016/09/verifying-s2n-hmac-with-saw/ (I work at Galois)

Support is available on irc.freenode.net in #icfp-contest, and on Twitter @ICFPContest2015.