Research Engineer - Formal Methods & Secure Systems
Galois Inc
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.
Vacancy posted 9 hours ago
Similar jobs that could be interesting for youBased on the Research Engineer - Formal Methods & Secure Systems in Portland, OR vacancy
$89.3k
...specific area of scientific research or other function,... ...include National Security, Earth and Biological... ...resilient, and secure energy system through basic and... ...is seeking a Research Engineer II - AI for Building Energy... ...and applying AI methods, computational methods...SuggestedLocal area- ...building digital engineering tools that make space... ...of systems where failure is... ...are a community of researchers, engineers, and operations... ...systems are built on a formal mathematical... ...that enhance security, reliability, and... ...expertise in Formal Methods and Programming Languages...SuggestedLocal areaImmediate start
- Health System Transformation Research Project Coordinator Department Overview The Oregon Rural Practice-based Research Network (ORPRN) was established... ...and model quality improvement and/or systems change methods and tools with cross-organizational teams, set goals, and...SuggestedRemote workMonday to FridayAfternoon shift
- Oregon Health & Science University in Portland is seeking a Health System Transformation Research Project Coordinator. The role involves coordinating health systems transformation projects, building relationships with community partners, and overseeing project activities...SuggestedRemote jobMonday to Friday
$78k - $100k
Tasks Inside the Role Uses computer-aided engineering (CAE) to solve complex vehicle design... ...-body simulation (MBS), and 1D dynamics/systems modeling. Applies highly specialized skill... .... Include considerations for analysis method, applicable loading, and required...SuggestedTemporary workFor contractorsWork at officeLocal areaRemote workRelocation package$78k - $100k
## Computational Simulation Engineer IApplyremote type: Hybridlocations: Portland, OR UStime... ...-body simulation (MBS), and 1D dynamics/systems modeling. Applies highly specialized skill... ...will include considerations for analysis method, applicable loading, and required testing...Temporary workFor contractorsWork at officeLocal areaRemote workRelocationRelocation package$77.5k - $140.9k
...and help to build a better working world. As an Application Security Engineer, you will be responsible for implementing and managing application... ...Knowledge of Windows, Linux, Unix, any other major operating systems. Ideally, you’d also have 2-4 years of experience with...Summer holidayFlexible hours- ...Position Summary The Design Engineer II is responsible for developing... ...release items into the PLM system. Independently generate logical... ...of manufacturing methods including machining, plastic... ...and adhere to SIG SAUER Inc. Security Mandates. Equal Employment Opportunity...
$97.12 per hour
...Senior, or Expert Liaison Engineers to support the... ...engineering principles to research technical, operational... ...experience in structures, systems, design, or production... ...o Metrology - methods, limitations, and interpretation... ...require access to secure and protected client...Hourly payPermanent employmentFull timeContract workWork experience placementInterim roleShift workWeekend workAfternoon shift- Ashby is seeking a Design Engineer to merge design and coding, enhancing our product's UI/UX. Responsibilities include tackling design... ...applications, and building components for a comprehensive design system. Qualifications vary by experience level, from junior to staff...
$121.68k - $174.44k
## Senior Engineer, Digital Design EngineeringApplylocations: US, OR... ..., including analog design, systems design, firmware, applications... ...definition to product release. Apply formal design and verification... ...- Bureau of Industry and Security and/or the U.S. Department of...Permanent employmentFull timeWork at officeRemote workWork from homeDay shift2 days per week$155k - $200k
...As a Senior Computational Engineer, you will lead and improve the... ...performance of optimized marine system designs. You will serve as... ...simulation, Boundary Element Method (BEM), and fleet deployment tools... .... ~5+ years of industry or research experience in CFD, marine...Full timeRemote workRelocation packageFlexible hours$71k - $96k
Staff Environmental Engineer or Scientist Location: Portland, OR | Type: Full Time | Department... ...construction, stormwater and wastewater system installation, operations and maintenance... ...including technical memorandums, formal reports and design (design drawings, specifications...Full timeTemporary workFor contractorsCasual work- ...Integrity Associates, Inc., is seeking to hire a Control Systems/Mechatronics engineer for our Portland, OR office. As a member of our Control... .... We also perform cutting-edge Federally funded research (e.g., in quantum control) where we have a strong record...Full timeWork at officeFlexible hours
- ...including assisting in the identification of Potentially Responsible Parties (PRPs) and monitoring compliance with orders/agreements to secure compliance and accountability. If you are hired at a grade level lower than the full performance level (i.e., highest promotion...For contractors
US Government Jobs - Other Agencies
Portland, OR23 hours ago $65k - $83k
## Engineering Documentation Control Analyst I - CompatibilityApplyremote type: Hybridlocations: Portland, OR UStime type: Full timeposted... ...Application Engineering, Product Strategy, Product Data Systems, Launch and Change Management, and Project Management to define...Temporary workFor contractorsWork at officeLocal areaRemote workRelocationRelocation package$100k - $172.5k
...Function: Technology Enterprise Strategy & Security Job Sub Function: Solution... ...talent for a Principal Product Security Engineer to be located in Danvers, MA or Raritan... ..., FedRAMP, ISO 27001, etc. Identify, research, evaluate, and integrate new compliance...Full timeTemporary workWork at officeLocal areaImmediate startRemote work3 days per weekJohnson & Johnson
Vancouver, WA4 days ago$78k - $100k
Daimler Truck North America LLC in Portland, OR is seeking an Engineer to solve complex vehicle design challenges using advanced analysis methods. The role requires a Bachelor's degree in Engineering with some experience and strong analytical skills. The position offers...- Keystone Shipping Co. is looking for an Assistant Port Engineer / NSE Analyst in Portland, Oregon. This role involves assisting with port... ...ocean-going ships, along with proficiency in ABS Nautical Systems Software. The position emphasizes safety and compliance with regulations...
$90 - $95 per hour
Apex Systems is seeking a Product Engineer 5 located in Tualatin, OR on a hybrid schedule. The role involves innovation in RF Power Systems manufacturing and working with leading global chip makers. Key responsibilities include solving technical issues during the product...Hourly pay- Verana Health in Portland is seeking a Design Engineer to create and implement a design system for user interfaces. The role involves collaborating closely with product engineering while redesigning mobile web interfaces and modular components to enhance user experience...
$55k - $75k
Staff Air Quality Engineer or Scientist page is loaded## Staff Air Quality Engineer or Scientistlocations: Portland, Oregon, USAtime... ...including excellent proofreading and writing skills* Logical and methodical problem solving* Effective time management of multiple project...Permanent employmentFull timeTemporary workWork experience placementWork at officeNight shift- Rpmed in Portland, OR, is seeking a Development Engineer II to plan and manage design and development projects for medical devices. This role involves leading product development and maintaining communication with customers to meet their needs. The ideal candidate should...
$122k - $220k
...I’m Abhik, Ashby’s Co-Founder and VP of Engineering. This role is close to my heart because,... ...Ashby, and so I made Design Engineering a formal role and department that works closely... ...new flows, implementing the new design system, and turning those wireframes into reality...Full timeInternshipWork at officeLocal areaFlexible hours- ...excellence in the design and engineering ofLam's etch and deposition products... ...-including vision systems and other time-series sensors... ...Apply engineering theories and research techniques to investigate, troubleshoot... ...of sensor calibration methods (e.g., camera calibration,...Local areaRemote workFlexible hours2 days per week3 days per week1 day per week
$120k - $160k
...Bit About Us MEP & Technology Consulting Engineers Why join us? Competitive Pay DOE... ...the development of Building Automation Systems (BAS) and Electrical Power Monitoring Systems... ...integration. Collaborate with IT teams on network security, VLANs, and system interface...Remote jobTemporary workLocal areaFlexible hours$90 - $95 per hour
# Product Engineer 5Apply**Job#: 3032919****Job Description:**Product Engineer 5**Location... ...and problem-solving in RF Power Systems manufacturing, testing, quality, and supplier... ...Electro-mechanical assembly, including methods of part fabrication, assembly, test, and...Hourly payContract workRemote work- Ernst & Young Oman is looking for an Application Security Engineer to enhance security in application development. You'll manage security tools like GitHub, SonarQube, and JFrog Artifactory, ensuring secure development processes across teams. The role requires expertise...
- ...excellence in the design and engineering of Lam’s etch and deposition... ...mechanical equipment, computer systems, complex software, or... ...and integration; statistical methods for modeling, multivariate data... ...achieve extraordinary results.Lam Research ("Lam" or the "Company") is an...Shorter hoursLocal areaRemote workWorldwideFlexible hours2 days per week3 days per week1 day per week
- LAM RESEARCH Corporation is seeking a Global Product Support Engineer located in Tualatin, Oregon. You will provide essential technical... ...of 5 years in product or systems engineering, with a strong... ...mechanical systems and statistical methods. Effective communication skills...Remote job
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Research Engineer - Formal Methods & Secure Systems. Be the first to apply!
Related searches
- application system engineer Portland, OR
- senior windows systems engineer Portland, OR
- system performance engineer Portland, OR
- senior staff systems engineer Portland, OR
- systems engineer Portland, OR
- computer system validation engineer Portland, OR
- distributed systems engineer Portland, OR
- system engineer remote Portland, OR
- software system engineer Portland, OR
- operations support system engineer Portland, OR