Research Engineer - Formal Methods & Secure Systems

Galois, Inc. is seeking a Software Engineer/Researcher in Portland, OR, to advance programming language theory through formal verification. The successful candidate will engage with clients, refine requirements, and collaborate on architecture design, using formal methods to ensure software security and correctness. Applicants should possess a Bachelor's in Computer Science or related field, with hands-on experience in software development and formal verification. This role offers a hybrid work environment and a robust benefits package. #J-18808-Ljbffr Galois, Inc.