Formal Methods Research Engineer - Remote
Code Metal
Boston, MA
- Remote job
Code Metal in Boston is seeking a Research Engineer specializing in Formal Methods to join their team. You will work at the intersection of theory and practice, applying and integrating testing and verification tools into Code Metal products. The ideal candidate will have an advanced degree in a relevant field, strong programming skills, and the ability to translate formal methods into practical solutions while collaborating across multidisciplinary teams. #J-18808-Ljbffr Code Metal
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Formal Methods Research Engineer - Remote in Boston, MA vacancy
- 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...Remote jobFlexible hours
- ...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
- ...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
- 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
- ...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, NY1 day ago - ...of concept Collaborate with research colleagues, share knowledge... ...broader organization, including engineering, product, and business... ...of cryptographic algorithms, formal methods, secure multi‑party computation... ...is a plus Perks: Remote‑first global workforce + NY...Remote workWork experience placementWork at officeHome office
$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, PA16 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, NY2 days ago - A leading technology firm is seeking a Research Software Engineer specializing in formal methods to enhance security and resilience in large dynamic systems. This hybrid role involves programming in Python, C/C++, or Java while utilizing formal methods techniques like model...
$100k - $140k
...to reduce costs and improve engineering productivity across all steps... ...world. You might come from a research background or industry but either... ...), including post-training methods such as quantization, pruning... ...off and company holidays • Remote-first work environment •...Remote workWork at officeHome officeFoundation EGI
United States3 days 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 States22 hours 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 States22 hours 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 States3 days 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, TX10 hours 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, PA10 hours ago $105k - $245k
Johns Hopkins Applied Physics Laboratory in Laurel, Maryland seeks a qualified individual to work on formal methods for software assurance impacting national security. The role requires a PhD in a relevant field and focuses on using analysis techniques to address core...$150k - $225k
...Research Crawling Engineer The employer is a decentralized, Solana-based web-scraping network that allows users to monetize their unused internet... ...Benefits Contract: Permanent role (Full remote - USA or 6 hour overlap with EST) Salary: $150k to $225k...Remote workPermanent employmentContract workStartup Talents
United States2 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 States3 days 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 States3 days ago- The Johns Hopkins University Applied Physics Laboratory is looking for a motivated Software Assurance/Formal Methods Developer to work on critical systems impacting national security. The role involves using static and dynamic analysis and formal methods to improve software...
$154.8k - $193.5k
...exploitation capabilities. Conduct expert reverse engineering of binaries (x86‑64, ARM64, etc.) using... ...understand current vulnerability research and apply findings to identify new... ...throughout the work day. Environment - remote, work‑from‑home with travel to customer...Remote workWork from homeNight shift- 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 seeking a Senior Research Engineer, Model Evaluation, to create evaluation benchmarks... ...measuring LLM progress. You will push new methods, train judges, and build data... ...model performance, and contribute to a remote‑friendly culture with options to work from...Remote work
- 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- ...generative models, concentrating on GPU-level optimizations and distributed systems. The role involves direct collaboration with researchers to implement efficient training solutions. Candidates should possess strong skills in PyTorch, experience with large-scale training...Remote job
$180k - $290k
...scale training systems in San Francisco. You will improve the performance and reliability of generative models and work closely with researchers to translate architecture changes into efficient training implementations. The ideal candidate should have deep technical...Remote job$86.8k - $165.2k
BBN Technologies is seeking a cybersecurity researcher to develop exploits for offensive cyberspace operations. This role emphasizes collaboration... ...critical skills in Java and Linux. The position supports remote work with ongoing support at customer sites in San Diego, CA,...Remote job$25 per hour
...Statistical Programming Assistant for a part-time role. The position involves remote/hybrid work supporting statistical computing in R for Holocaust survivor research. Qualified candidates will have formal training in quantitative fields and strong R programming skills. The...Remote workHourly payPart time
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 Boston, MA
- coating process engineer Boston, MA
- process engineer injection moulding Boston, MA
- warehouse process engineer Boston, MA
- process optimization engineer Boston, MA
- process engineer Boston, MA
- senior process engineer Boston, MA
- foundry process engineer Boston, MA
- senior manager process engineering Boston, MA
- research programmer Boston, MA