Average salary: $184,723 /yearly
More statsGet new jobs by email
- ...specializing in trustworthy systems is seeking Principal Scientists to drive research and develop R&D opportunities in diverse areas like Formal Methods, AI, and Advanced Cryptography. Ideal candidates should have a Ph.D. and a history of impactful research. The role offers a...Suggested
$68.9k - $131.1k
...government customers worldwide. The BBN team is part of RTX’s advanced technology initiatives. Job Title Research Software Engineer, Formal Methods - Hybrid (Cambridge, MA / Arlington, VA / Columbia, MD) Position Overview Responsible for developing software and formal...SuggestedTemporary workRemote workWorldwideFlexible hours- Galois, Inc. is seeking a Principal Scientist to drive research in Formal Methods, applying rigorous techniques to develop solutions for critical systems. The ideal candidate holds a Ph.D. and has experience in client engagements, leading funded programs, and a strong...Suggested
$115k - $230k
...representations, optimizing the generated models for automated analysis. Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools. Closely collaborate with other software engineers in developing tools and...SuggestedFull timeInternshipLocal areaFlexible hours- Acceler8 Talent is seeking a Research Engineer with a focus on Formal Methods & Reasoning Systems in San Francisco. The role emphasizes applying formal verification and structured approaches to AI safety, making it ideal for candidates with strong skills in programming...Suggested
- ...in Portland, OR, to advance programming language theory through formal verification. The successful candidate will engage with clients... ..., and collaborate on architecture design, using formal methods to ensure software security and correctness. Applicants should...Suggested
$115k - $230k
Certik in New York is seeking a research software engineer to develop automated verification tools for blockchain applications. You will be part of a multinational team working on high-impact projects using advanced techniques in programming language theory. The ideal candidate...SuggestedFlexible hours- Galois is seeking a Principal Scientist to lead research initiatives at the intersection of Formal Methods and critical software systems. Responsibilities include engaging clients, mentoring staff, and publishing findings. The ideal candidate has a Ph.D. and extensive...Suggested
- A leading research organization in Laurel, Maryland is seeking a Software Assurance/Formal Methods Developer to tackle pressing cybersecurity challenges through innovative research. The position requires a PhD in a relevant field and offers the opportunity to work on advanced...Suggested
- ...position is hybrid with significant onsite presence in Cambridge, MA; Arlington, VA; or Columbia, MD. The ideal candidate will develop formal methodologies, lead software development in various languages, and collaborate with experts in systems security. A Bachelor's...SuggestedFlexible hours
- ...leading technology startup in Silicon Valley is looking for a motivated Research Engineer to join their Reinforcement Learning & Formal Methods team. This role will focus on advancing mathematical theorem proving with innovative RL techniques. Candidates should possess...Suggested
$116k - $218.5k
NVIDIA Corporation in Santa Clara is seeking a Formal Verification Engineer specializing in firmware verification. In this role, you... ...and reliability of low-level software, applying advanced formal methods for complex verification challenges. The ideal candidate has a...Suggested- ...Secret Clearance required after day 1. RTX BBN Networking and Cyber Technologies group is seeking a Research Software Engineer, Formal Methods who will develop software to enhance the security and resilience of large‑scale dynamic systems. The role offers the...SuggestedTemporary workRelocation packageFlexible hours
- Prattwhitney is seeking a Research Software Engineer with a focus on formal methods in dynamic systems. This hybrid role, based in Cambridge, requires expertise in Python and C/C++, with additional experience in formal methods and systems security. The successful candidate...Suggested
- Galois, Inc. in Portland, OR is seeking a Principal Scientist to drive a research agenda in formal methods and collaborate with multidisciplinary teams. The role is pivotal in developing R&D opportunities across multiple domains, including AI and cryptography. Candidates...Suggested
- ...Anthropic, Google DeepMind, Meta SuperIntelligence, xAI, Apple and Intel. What You'll Do As a Founding Member of the Technical Staff - Formal Methods at Architect Labs, you'll work on the formal foundations of our chip design flow. You will own a critical layer of the stack...
- Galois, Inc. is seeking a Principal Scientist to drive research and development at the intersection of Formal Methods and key research areas including AI and Cryptography. The role involves leading externally-funded programs, client engagement, and mentoring. Candidates...
$184k - $287.5k
NVIDIA Corporation is seeking a Senior Formal Verification Engineer for GPU Kernels in Santa Clara, CA. In this role, you will develop and deliver verification tools for GPU kernels, integrating AI into verification workflows. The ideal candidate has an MS or PhD in Computer...- NVIDIA Gruppe is seeking a Senior Formal Verification Engineer for GPU Kernels, focused on creating verification tools that ensure correct behavior in various environments. This role involves designing verification tools, integrating AI into workflows, and participating...
- ...Description Job Description The candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts. Research areas include high-assurance connected software architecture & software engineering,...Contract workLocal area
- ...all the things they love with their devices.Work with the best Formal Verification team in the world and acquire experience being at... ...and digital logic design and verification techniques or formal methods and their application to hardware, software, or systems Interest...
- ...skilled and motivated person to join our verification team. In this role, you will drive formal verification efforts across complex hardware designs, applying rigorous mathematical methods to prove design correctness and find corner‑case bugs that escape simulation. You...Shift work
$116k - $189.75k
We are now seeking a Formal Verification Engineer, focusing on the firmware verification! In this role, you will be instrumental in ensuring... ...for an individual passionate about applying advanced formal methods to solve complex firmware verification and hardware‑firmware co...$164.47k - $311.89k
Role Impact As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel’s cutting... ...through research publications, patents, or advanced validation methods. Strong communication and collaboration skills, with a track...Local areaShift work- We are seeking an experienced Senior Formal Verification Engineer to join our team. In this role, you will leverage advanced formal verification... ...process through rigorous formal analysis and bug detection methods. Responsibilities Engage in formal verification of architecture...Flexible hours
- ...verification flows and methodologies This role’s focus will be on Formal Verification (FV) and methodologies and flows around FV If you... ...Knowledge of or experience with static analysis and/or formal methods, such as formal logic and model checking Ability to understand...
- ...opportunities for product design and process methodology, considering all aspects of the manufacturing process including manpower, methods, materials, machines, measurements, and the work environment Analyze yield and statistical process control data and provide corrective...Permanent employmentContract workLocal areaFlexible hours
- ...greener and smarter mobility worldwide, connecting cities as we reduce carbon and replace cars. Could you be the full-time onsite Methods Engineer in West Mifflin, PA (Pittsburgh area) we’re looking for? Your future role Take on a new challenge and apply your manufacturing...Full timeInternshipWorldwide
- About the Role We are seeking a detail-oriented Methods Engineer (Electrical Engineering focus) to support manufacturing and field operations within rail systems production. In this role, you will bridge engineering design and shop-floor execution by developing clear, standardized...
$181.1k - $318.4k
...California, United States Hardware Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the... ..., LlamaIndex, Hugging Face, or similar). Background in formal methods, mathematical logic, or a strong mathematical foundation —...Relocation