Research Scientist

16 hours ago

Portland, Oregon, United States Galois Full time
About the Role

Galois is seeking a highly skilled Research Engineer to join our team of experts in formal methods and programming languages. As a Research Engineer, you will design and develop advanced technologies for safety- and security-critical systems, networks, and applications.

Key Responsibilities
  • Requirements gathering: engaging with clients to refine their needs and suggest means to meet those needs.
  • Architecture and design: constructing high-level architectural descriptions of software systems and designing deeper program designs.
  • Implementation: extending design prototypes to finished products with a focus on robustness and ease of use.
  • Formal verification: using mechanical reasoning tools to demonstrate or analyze desired security and correctness properties of systems.
  • Testing and validation: constructing and conducting system, unit, and regression tests, and conducting semi-formal validation and verification.
  • Technology research and development: conducting speculative research and development of cutting-edge technology and incorporating it into product prototypes.
  • Technical infrastructure development: developing tools to be used within Galois and developing library code to be shared among projects.
Requirements
  • A minimum of a Bachelor's degree in computer science or equivalent is required.
  • An MS or PhD in CS or a related field is desirable but optional.
  • Required Technical Expertise:
    • A programming languages background and experience with formal methods.
    • 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.
  • Required General Skills:
    • Strong written, verbal, and presentation skills.
    • 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.

  • Senior Research Scientist

    3 days ago

    Portland, Oregon, United States Providence Health & Service Full time

    Job Title: Senior Research ScientistWe are seeking a highly skilled and experienced Senior Research Scientist to join our team at Providence Health & Services. As a key member of our research team, you will be responsible for conducting independent research projects, collaborating with colleagues, and contributing to the development of new treatments and...

  • Senior Research Scientist

    3 days ago

    Portland, Oregon, United States Providence Service Full time

    About the RoleWe are seeking a highly motivated and experienced Senior Research Scientist to join our team at Providence Portland Medical Center. As a key member of our research team, you will be responsible for conducting independent research projects and collaborating with colleagues to advance our understanding of cancer biology and immunology.Key...

  • Informatics Research Scientist

    2 days ago

    Portland, Oregon, United States Oregon Health & Science University Full time

    Research Support: We are seeking a highly skilled Informatics Research Scientist to provide research support to our Informatics program. As a key member of our team, you will work under the supervision of the Director of Informatics to advance our research in health information exchange, health data management, data governance, and cyber-physical systems...

  • Pediatric Oncology Research Scientist

    3 weeks ago

    Portland, Oregon, United States Oregon Health & Science University Full time

    About the PositionOregon Health & Science University (OHSU) is seeking a highly qualified individual to join our team as a Pediatric Oncology Research Scientist. As a member of our faculty, you will have the opportunity to contribute to cutting-edge research in pediatric oncology and make a meaningful impact on the lives of children and families affected by...

  • Research Scientist

    2 days ago

    Portland, Oregon, United States Oregon Health & Science University Full time

    Job SummaryWe are seeking a highly skilled Research Associate to join our team at Oregon Health & Science University. The successful candidate will be responsible for managing lab inventory and equipment, as well as ensuring compliance with SOPs, IACUC protocols, and lab training records.Key ResponsibilitiesManage and maintain accurate records of lab...

  • Research Scientist

    3 weeks ago

    Portland, Oregon, United States Oregon Health & Science University Full time

    Postdoctoral Scholar OpportunityWe are seeking a highly motivated and experienced postdoctoral researcher to join our team at Oregon Health & Science University. The ideal candidate will have a strong background in microfluidics, organs-on-a-chip, cell culture, and cancer biology, with a proven track record of publications and hands-on experience in these...

  • Vascular Research Director

    3 weeks ago

    Portland, Oregon, United States The Medicus Firm Full time

    Director of Vascular ResearchSeeking a visionary leader to spearhead our vascular research efforts at The Medicus Firm. As Director of Vascular Research, you will be responsible for driving innovative research initiatives, fostering collaborations, and mentoring junior faculty and scientists.Key Responsibilities:Develop and execute a comprehensive research...

  • Research Scientist

    4 weeks ago

    Portland, Oregon, United States Oregon Health & Science University Full time

    Job SummaryWe are seeking a highly skilled Postdoctoral Fellow to join our team at Oregon Health & Science University. The successful candidate will be responsible for planning, executing, and analyzing experiments for independent research projects using biochemical methods and single particle and tomographic cryo EM methods.Key ResponsibilitiesDesign and...

  • Research Scientist

    4 weeks ago

    Portland, Oregon, United States Galois Full time

    About GaloisGalois is a pioneering organization that tackles the most complex challenges in computer science. Our mission is to ensure trust in critical systems that safeguard privacy and integrity in the real world.We apply formal analysis techniques to model, analyze, and mathematically prove the correctness of systems, guaranteeing they behave as intended...

  • Senior Scientist

    1 month ago

    Portland, Oregon, United States Moses Lake Industries Full time

    About the RoleWe are seeking a highly skilled Senior Scientist to join our Research and Development team at Moses Lake Industries. As a key member of our team, you will be responsible for leading the development of advanced battery technologies and collaborating with cross-functional teams to drive innovation and growth.Key ResponsibilitiesDevelop and...

  • Research Scientist

    3 days ago

    Portland, Oregon, United States Galois Full time

    About GaloisGalois is a pioneering organization that tackles the most complex challenges in computer science. Our mission is to ensure trust in critical systems that safeguard the confidentiality and integrity of information in the real world. We achieve this by applying rigorous formal analysis techniques that enable systems to be modeled, analyzed, and...

  • Vascular Research Director

    4 weeks ago

    Portland, Oregon, United States The Medicus Firm Full time

    Director of Vascular ResearchAt The Medicus Firm, we are seeking a highly accomplished Vascular Research Director to lead our team in advancing cardiovascular care through innovative research and education.Key Responsibilities:Collaborate with scientists and clinicians to drive cutting-edge research in vascular function and disease.Mentor junior faculty,...

  • Environmental Scientist

    2 weeks ago

    Portland, Oregon, United States Tetra Tech Full time

    Unlock Your Potential with Tetra TechAt Tetra Tech, we're passionate about creating a sustainable future for our world. As a leading provider of consulting and engineering services, we're seeking a talented Environmental Scientist to join our team in Portland, OR.About the RoleWe're looking for a self-motivated professional with a strong background in...

  • Senior Research Associate

    2 days ago

    Portland, Oregon, United States Oregon Health & Science University Full time

    Job SummaryWe are seeking a highly skilled and experienced Senior Research Assistant to join our team at Oregon Health & Science University. The successful candidate will be responsible for handling small rodents and implementing experimental protocols, including weighing, giving injections/infusions, conducting surgical procedures, extracting blood or...

  • Data Scientist

    1 week ago

    Portland, Oregon, United States PacifiCorp Full time

    Job Title: Data Scientist - Wildfire MitigationPacifiCorp is seeking a highly skilled Data Scientist to join our team in Portland, OR or Salt Lake City, UT. As a Data Scientist, you will play a critical role in developing and implementing data-driven solutions to mitigate wildfire risk and improve electric service reliability.Key Responsibilities:Conduct...

  • Data Scientist I

    2 days ago

    Portland, Oregon, United States PacifiCorp Full time

    Data Scientist I - T&D OperationsJob SummaryPacifiCorp is seeking a Data Scientist I to support our T&D Operations team. The successful candidate will provide technical support on projects related to wildfire mitigation, asset performance, and T&D Operations across six states. They will leverage large data sets to inform long-term risk analysis and aid in...

  • Data Scientist I

    2 weeks ago

    Portland, Oregon, United States PacifiCorp Full time

    Job SummaryPacifiCorp is seeking a highly skilled Data Scientist to join our team in Portland, OR or Salt Lake City, UT. As a Data Scientist, you will play a critical role in providing technical support on projects related to wildfire mitigation, asset performance, and T&D Operations across six states.Key ResponsibilitiesConduct research studies and...

  • Data Scientist for Wildfire Mitigation

    2 days ago

    Portland, Oregon, United States PacifiCorp Full time

    Job SummaryPacifiCorp is seeking a highly skilled Data Scientist to join our team in Portland, OR or Salt Lake City, UT. As a Data Scientist, you will be responsible for providing technical leadership on complex engineering projects related to wildfire mitigation. You will facilitate internal training for engineers and technicians, act as a company subject...

  • Research Scientist

    3 days ago

    Portland, Oregon, United States Graphic Packaging International Full time

    Join Our Team at Graphic Packaging InternationalWe are a leading manufacturer of paper cups and packaging solutions. Our team of experts is dedicated to producing high-quality products that meet the needs of our customers.Key Responsibilities:Contribute to the development of new packaging solutionsCollaborate with cross-functional teams to improve...

  • Data Scientist I

    2 weeks ago

    Portland, Oregon, United States PacifiCorp Full time

    Job SummaryPacifiCorp is seeking a highly skilled Data Scientist I to join our T&D Operations team. As a key member of our team, you will provide technical support on projects related to wildfire mitigation, asset performance, and T&D Operations across six states.Key ResponsibilitiesConduct research studies and technical analyses in areas of specialized data...