Research Engineer - Formal Methods
Code Metal(1 month ago)
About this role
A Research Engineer specializing in Formal Methods typically works on developing and applying mathematical techniques to software and hardware verification, ensuring systems are correct and reliable. The role involves conducting research, creating models, and collaborating with teams to improve formal verification processes.
Required Skills
- Formal Methods
- Model Checking
- Mathematical Modeling
- Verification
- Formal Specification
About Code Metal
codemetal.aiCode Metal is a pioneering technology company specializing in verifiable, AI-driven code translation aimed at mission-critical industries, including automotive, defense, semiconductors, and aerospace. By leveraging advanced AI techniques, Code Metal enables faster time-to-market, compliance with safety standards, and the modernization of code across various platforms. Their solutions are designed to break vendor lock-in and enhance code portability, making them essential for companies engaged in edge development and complex software systems. With a fresh approach to code management, Code Metal positions itself as a transformative force in the technology landscape.
View more jobs at Code Metal →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at Code Metal
Similar Jobs
Formal Methods Research Intern
Example Corp(2 months ago)
FVCTO - Formal Verification Engineer
Intel(11 days ago)
Research Software Engineer, Formal Methods
RTX(1 month ago)
Senior Principal Research Engineer, Formal Methods
RTX(1 month ago)
Formal Verification Engineer - Firmware
NVIDIA(1 month ago)
FVCTO - Formal Verification Specialist
Intel(1 month ago)