Average salary: $184,723 /yearly
More statsGet new jobs by email
- Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this role, you will work at the intersection of theory and practice, applying, implementing, and integrating testing and verification tools into Code Metal products. You will...SuggestedRelocation packageFlexible hours
- A leading AI research firm is looking for an Applied Formal Methods Researcher to work on formalizing advanced mathematical proofs in Lean. This remote position requires a Master's degree in Mathematics or a related field, experience with proof assistants, and enthusiasm...SuggestedRemote job
$60.45k - $65k
A prestigious university in Syracuse is seeking a Postdoctoral Researcher in the field of language-based security. The ideal candidate will hold a Doctoral degree in Computer Science and have experience in security type systems and static/dynamic analysis. Responsibilities...SuggestedFull time$70 - $150 per hour
...and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research... .... Organization : Alignerr Position : Applied Formal Methods Researcher (Lean 4) Type : Hourly Contract Compensation : $70...SuggestedHourly payContract workFreelanceRemote workFlexible hours$38 - $46 per hour
...smart electric vehicle company is seeking an intern to tackle challenging problems at the intersection of low-level systems and formal methods. This internship focuses on automating formal proofs for concurrent kernel primitives and involves deep technical work in C...SuggestedHourly payInternship- A leading technology company in Boston is seeking a Research Engineer specializing in Formal Methods. This position involves collaborating with teams to integrate formal methods into product development. Candidates should hold an advanced degree in a relevant field and...SuggestedFlexible hours
$60.45k - $65k
A prestigious university in Syracuse, NY is seeking a Postdoctoral Researcher in Language-Based Security. The role involves conducting research, mentoring students, and collaborating on projects related to programming languages and security. The ideal candidate holds a ...Suggested- ...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,...SuggestedContract workLocal area
- ...Job Description Job Description The position of Methods Engineer exists to provide technical and administrative direction in the form of meeting all of the Elliott Company's manufacturing needs. This position is also responsible for generating all departmental CNC...Suggested
Elliott Group
Jeannette, PA2 days ago - ...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...Suggested
- ...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...Suggested
- 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...SuggestedFlexible hours
$196k - $310.5k
Senior Formal Verification Engineer page is loaded## Senior Formal Verification Engineerlocations: US, CA, Remote: US, TX, Remote: US... ...sophisticated ASIC designs & features with formal verification methods.* Multi-functional Collaboration: Partner with architecture/RTL...SuggestedRemote work- ...it all to you. Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification... ...: Verify complex design blocks formal verification methods Develop and execute pre-silicon verification test plans Develop...SuggestedHourly payContract workTemporary workRemote work
- ...& Proposals team for internal & external tooling. Support the Methods team with assembly build sequencing. Create visual work instructions... ...showcase how tooling aligns with project objectives. Create formal documents (TCMs) to resolve technical issues or questions...SuggestedLocal areaFlexible hoursShift work
$100k - $245k
A leading applied physics laboratory is seeking a motivated Software Assurance/Formal Methods Developer. The role involves solving complex problems in software assurance using various formal methods techniques. Candidates should possess a Master's degree in a related field...- ...their devices!The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader...
$168k - $264.5k
NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance Computing Solutions. As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness...- Être sérieux sans se prendre au sérieux », tels sont les mots de Gilles Deshayes fondateur du Groupe. Parti de peu, aujourd’hui Le Triangle pèse 15% du solaire en France. Chaque jour 850 collaborateurs, engagés pour l’énergie solaire, unissent leur force pour répondre aux...Temporary workWork at office
$75k - $85k
...are part of Magellan, you are part of the team! Position Summary Magellan Aerospace, New York has an exciting new opportunity for a Methods Engineer. The purpose of this position is to be responsible for designing, implementing, and optimizing manufacturing processes to...Permanent employmentWork at officeLocal areaWorldwide- ...You will be responsible for planning, organizing, motivating, and supervising the activities of ten to fifteen salaried from our Methods groups. You will be responsible of a team supporting production line of the St-Laurent facility, but also implement engineering change...Flexible hours
- ...are your contributions to the team? Adheres to General Work Requirements Assists with analyzing feasibility according to optimal methods by assessing the costs, impacts and risks of a change in production Assists with drafting the necessary working and repair documents...Local area
- ...Barista Methodical is a coffee culture company. We roast our coffee and select our teas to express the life it lived and to honor the skilled people who cultivate it. We're passionate about sourcing, creating, and discovering products to elevate everyday life while...
- ...perspectives. Join us as we shape the future of AI and beyond. Together, we advance your career. THE ROLE: AMD is looking for a Lead Formal Verification Engineer leader passionate about driving the cutting‑edge formal verification techniques for AMD’s next generation...
- Depuis 1714 , Lépine s’impose comme un acteur incontournable dans le domaine de la chirurgie orthopédique, alliant tradition et innovation pour répondre aux besoins des professionnels de santé et des patients. Basée dans la région lyonnaise, l’entreprise conçoit et fabrique...Temporary work
- ...perspectives. Join us as we shape the future of AI and beyond. Together, we advance your career. THE ROLE: AMD is looking for a Formal Verification System Designer passionate about creating & driving cutting-edge techniques across the full landscape of numerical hardware...Work at office
- ...continue to make Cirrus Logic an exceptional place to grow your career! Cirrus Logic is seeking a Summer 2026 intern candidate for our Formal Verification team in Austin, TX. This position is focused on applying Formal Verification to digital designs. It is available to...Full timeInternshipSummer internshipWork at officeRelocation
- ...as we shape the future of AI and beyond. Together, we advance your career. THE ROLE We are looking for an adaptive, self‑motivated formal verification engineer to join our growing team. As a key contributor, you will be part of a highly collaborative team to drive and...Work experience placementNight shift
- A leading technology firm is seeking a Formal Verification Engineer to ensure the quality of cutting-edge CPU technologies. Your role will involve verification of microarchitecture using formal methods, developing test and coverage plans, and collaborating with design...Full time
- What are your contributions to the team? In your role, you will: Lead a team of projects managers responsible to deliver on time, large complex inload/specials projects. Manage cross-functional teams in the establishment of scope, schedule and budget. Lead and coordinate...Work experience placement
