Jobs in Portland, OR

About the role

Galois is hiring a Software Engineer/Researcher to join our team! This role will primarily focus on advancing the state of the art in programming language theory research and implementation. Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security standards.

What you'll bring

• A minimum of a Bachelor's degree in computer science or equivalent is required.
• A programming languages background and experience with formal methods.
• Must have hands-on experience developing software and applying formal verification techniques.
• Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.
• Experience in all aspects of software engineering practices.
• Fluent in using semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications.
• Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills.
• Must be highly motivated and able to self-manage deadlines and quality goals.
• Preference will be given to candidates with one or more of the following technical expertise:
• Direct experience in developing high-assurance systems and/or security products.
• Experience with Model Based Systems Engineering tools, with expertise in SysML and AADL.
• Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.

Benefits

Locations