Formal Methods Research Engineer - Remote
Code Metal
San Francisco, CA
- Remote job
Code Metal in San Francisco is seeking a Research Engineer specializing in Formal Methods to integrate testing and verification tools into products. You will work alongside researchers to drive innovation and collaborate across teams. The ideal candidate has an advanced degree in a relevant field, strong programming skills in Python or C++, and experience with formal methods techniques. The role offers competitive benefits including health coverage and flexible work arrangements. #J-18808-Ljbffr Code Metal
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Formal Methods Research Engineer - Remote in San Francisco, CA vacancy
- ...speed and rigor. About The Role Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this role, you will work at the... ...plus sick and public holidays). Flexible hybrid or remote work arrangement. Relocation assistance for...Remote workRelocation packageFlexible hours
- Galois, Inc. is hiring a Software Engineer/Researcher focusing on programming language theory research and formal verification of software. You will engage with clients and... ...in programming languages and formal methods. The role allows you the flexibility of a hybrid...Suggested
- ...next generation of AI tools for chip design are hiring for Formal Methods Researchers. Backed by an advisory board that includes some of the... ...AI and computing, the team brings together researchers and engineers from leading orgs. like OpenAI, Anthropic, xAI, Google DeepMind...Suggested
- ...About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate...Suggested
Jane Street
New York, NY2 days ago $151.2k - $266.57k
...function processing technologies through research, development, & demonstrations. Who... ...team is seeking a driven Principal Systems Engineer to help lead the cross-program... ...and future openings. Ability to Work Remotely: Part-time Remote Telework: The employee...Remote workFull timeTemporary workPart timeWork experience placementWork at officeRelocationFlexible hoursShift work3 days per weekLockheed Martin - US
King of Prussia, PA17 days ago$86.8k - $165.2k
Job Title Research Software Engineer, Formal Methods. Location Hybrid: Employees who are working in hybrid roles will work regularly both onsite and offsite. Locations: Columbia, MD; Arlington, VA; Cambridge, MA. Relocation assistance will be available. Job Summary We...Relocation packageFlexible hours- ...This role involves functioning as a research partner embedded within enterprise AI systems... ...experts and client teams. Surface, formalize, and prioritize system failure modes in... ...Work Terms Full-time position with remote work flexibility. Compensation The...Remote workFull timeLocal area
SaidGig
New York, NY3 days ago $100k - $140k
...vacuum; it’s applied to real engineering problems, working with 2D and... ...world. You might come from a research background or industry but either... ...), including post-training methods such as quantization, pruning... ...and company holidays. ~Remote-first work environment. ~Fully...Remote workFull timeWork at officeHome officeFoundation EGI
Remote2 days ago$115k - $160k
Role Description The Experimental Engineering team leads the engineering R&D efforts in new... .... We're seeking a highly capable Senior Research Engineer to join our team and drive forward... ...boundaries. This is a full-time remote opportunity, with hybrid work available...Remote workFull timeLocal areaRelocation packageConsumer Reports
Remote3 days ago- Role Description As a Research Crawling Engineer, you will design and operate large-scale web data acquisition systems for research and model development... ...~We prioritize low ego and high output. This is a fully remote team. ~Compensation: You’ll receive a competitive salary...Remote workFull time
Wynd Labs
Remote4 days ago $77k - $163k
Role Description Vulnerability Researcher: ~Use advanced systems to find zero-day (O-day)... ...Experience with program analysis, reverse engineering, and debugging tools (e.g., angr, BAP,... ...~Place of Performance - MD, FL, SC, TX, Remote. Desired Skills ~Understanding of...Remote workFull timeNightwing
Remote9 days ago$140k - $180k
...is seeking a highly skilled and mission-driven Threat Intel Research Engineer to join our Intelligence team. This role is pivotal in advancing... ...development. ~Flexibility – Work in a hybrid or remote environment that balances collaboration with autonomy. ~Comprehensive...Remote workFull timeWorldwideDTEX Systems
Remote1 hour ago$122k - $215k
...Research Engineer Waabi, founded by AI visionary Raquel Urtasun, is the leader in Physical AI. With a world-class team, we're unlocking the next era of autonomous transportation with technology that's powering commercial autonomous trucks and robotaxis. Waabi is backed...Remote workFull timeWork at officeWork from homeFlexible hoursWaabi
United States1 day ago- ...Research Engineer Watertown, MA March 10, 2026 The Company We believe general-purpose, generally-intelligent robots will be built in our lifetimes. Robots will work in our factories, move our goods, walk on our streets and eventually be in our homes. To build...Remote workWork at office
Venturefizz Product Management Community
United States4 days ago - To support innovative research and engineering initiatives, the full-time Research Engineer will contribute to projects involving efficient architectures... ..., multimodal systems, and data engineering, working remotely while managing the end-to-end process from research to...Remote workFull time
Virtual Vocations Inc
United States1 day ago - ...application process for external applicants. Approval of remote and hybrid work is not guaranteed regardless of... ...and Signal Processing Division of the Applied Research Laboratory (ARL) at Penn State University is seeking engineering undergraduate interns to work part-time with...Remote workPart timeRelocation
The Pennsylvania State University
State College, PA13 hours ago - ...We are seeking Electrical Engineering, Computer Science, and Computer Engineering students... ...Systems Operations Division of the Applied Research Laboratory (ARL) at Penn State. The... .../week during non‑academic time periods. Remote Work Approval of remote and hybrid work...Remote workPart timeInternship
The Applied Research Laboratory at Penn State University
University Park, TX13 hours ago $115.71k - $172.12k
...Overview From our Ann Arbor, MI office, Research Engineers will participate in multi-disciplinary, collaborative teams and contribute to the development of state-of-the-art remote sensing solutions and surveillance technologies. Relevant sensor types include electro...Remote workFull timeWork at officeSRI International
United States4 days ago$100k
...Location: Remote - Must have a 6 hour overlap with EST Remote | Full-time Compensation... ...scale. Additionally, the team has engineered sophisticated pipelines for the... ...facilitating dataset creation for frontier research labs. The organization operates as a...Remote workFull timeMLabs
United States4 days ago$200k - $250k
Role Description The Principal Security Engineer serves as a cultural, business, and technical leader within Trail of Bits' Research & Engineering practice. Principal Engineers... ...participate in teams of 2–4 people across remote locations. ~Frequent communication with...Remote workFull timeCasual workWork from homeHome officeRelocation packageTrail of Bits
Remote8 days ago- Anthropic is seeking a Research Engineer to build the next generation of training environments for safe and capable AI. This role blends research with engineering responsibilities, requiring you to implement novel approaches while contributing to research direction. You...Remote job
- Cohere is looking for world-class research scientists and research engineers to advance multilingual AI technologies. You will lead the design of scalable... ...impact the global landscape. This role is open to remote work or based in our key offices, including New York City...Remote job
$250k
Slope in San Francisco is seeking a Research Engineer / Research Scientist to join the Alignment Science team. In this role, you will design... ...flexible PTO. This is a hybrid role with relocation assistance and options for exceptional remote candidates. #J-18808-Ljbffr SlopeRemote jobRelocation packageFlexible hours- Role Description We are seeking a highly motivated AI Systems Research Engineer specializing in Trainium, GPU kernels, and LLM systems... ...problem-solving skills and the ability to work in a collaborative, remote environment. ~A background in computer science, engineering...Remote workFull timeFlexible hours
Yotta Labs
Remote2 days ago $180k - $260k
Machine Learning Researcher / Engineer, Multimodal LLMs Location: San Francisco, CA or Remote (US) About Bland At Bland.com, our mission is to empower enterprises to build AI phone agents at scale. Voice is quickly becoming the primary interface between businesses and...Remote jobWork at office- Role Description We're recruiting a ML Research Engineer (m/f) to strengthen our team in Europe, with the possibility of remote work. Qualifications ~PhD or MSc in a STEM field (preference for PhD in Computer Science) ~4+ years of experience (minimum) combining...Remote workFull time
Movilges
Remote3 days ago $315k
...team at Anthropic is working to reverse‑engineer how trained models work because we believe... ...that powers interpretability research—including instrumented forward/backward... ...considering exceptional candidates for remote work on a case‑by‑case basis. #J-18808-...Remote workWork at office- ...and Sciences Position Description The Engineering Fellowship Program at Kempner Institute... ...with a member of the Kempner Institute Research Engineering team to advance their skills... ...and Engineering Complex in Allston, MA. Remote work is not possible in this position. Applicants...Remote workFull time
- ...Emory University is a leading research university that fosters... ...and laboratory tasks requiring engineering knowledge according to prescribed... ...new data processing methods, using matrix algebra, calculus... ...University location; working remote is not an option. Emory reserves...Remote work
Emory University
Atlanta, GA4 days ago - ...challenging problems through research, exploration, development, and... ...computer science, computer engineering, electrical engineering, math... ...Experience applying the scientific method to challenging mission... ...designated as on‑site, hybrid or remote. Hired applicants may be...Remote workTemporary workWork at officeWorldwideRelocationFlexible hoursNight shift
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Methods Research Engineer - Remote. Be the first to apply!
Related searches
- process improvement engineer San Francisco, CA
- coating process engineer San Francisco, CA
- process engineer injection moulding San Francisco, CA
- semiconductor process engineer San Francisco, CA
- warehouse process engineer San Francisco, CA
- process optimization engineer San Francisco, CA
- process engineer San Francisco, CA
- senior process engineer San Francisco, CA
- foundry process engineer San Francisco, CA
- senior manager process engineering San Francisco, CA