Top
Headquarter:
N/A
Established Year:
N/A
Career opportunities at Code Metal
Code Metal
0 - 0 yrs
Boston, MA, USA
Keyskills :
Software Development , Architecture , Python , AWS , Automation , Azure , Celery , Algorithm , Algorithm Development , Analysis , Application Development , Code Generation , Code Review , Continuous integration , Development , Formal Verification , GraphQL , High Availability , History , Integration , Learning , Machine Learning , Management , Orchestration , Pipeline , RabbitMQ , Release Management , Software Architecture , Static Analysis , Workflow , Workflow Automation
Designation:
N/A
Job Description:
Job TitlePrincipal Software Engineer - Python AI PipelinesOverviewWe are looking for an experienced software engineer to help us build a new generation of transpilation tools enabled by AI and modern verification techniques that promises to bridge the gap b…
Code Metal
0 - 0 yrs
Boston, MA, USA
Keyskills :
Software Development , Architecture , Python , Algorithm , Algorithm Development , Analysis , Code Generation , Code Review , Compiler , Continuous integration , Development , Formal Verification , History , Integration , Management , Pipeline , Program Analysis , Release Management , Research , Software Architecture , Software Engineering , Software Verification , Static Analysis
Designation:
N/A
Job Description:
Job TitlePrincipal Software Engineer - Program Analysis for AIOverviewWe are looking for an experienced software engineer to help us build a new generation of transpilation tools enabled by AI and modern verification techniques that promises to bridge the g…
Code Metal
0 - 0 yrs
Boston, MA, USA
Keyskills :
Physics , Algorithms , Clearance , Computing , Continuous integration , CUDA , Design , Influence , Integration , Ownership , Performance Tuning , Physics Simulation , Prototype , Relocation Assistance , Scientific Computing
Designation:
N/A
Job Description:
Help redefine how the DoD makes multi-billion-dollar force-design decisions. In this role, you'll fuse physics-driven simulation, interactive computing, and verified AI code-generation to create next-generation wargaming platforms. We're seeking an experien…
Code Metal
0 - 0 yrs
Boston, MA, USA
Keyskills :
Software Development , Algorithm , Algorithm Development , Analysis , Code Generation , Code Review , Collaboration , Continuous integration , Design , Development , Digital Signal Processing , Disciplinary , Documentation , Embedded Linux , Embedded Software , Firmware , Formal Verification , History , Integration , Linux , Management , Pipeline , Proven Ability , Provide Support , Release Management , Relocation Assistance , Research , Rust , Signal Processing , Software Engineering , Software Verification , Static Analysis , Team Building , Loop Testing , Fuzz Testing
Designation:
N/A
Job Description:
Overview We are seeking an experienced Firmware Engineer to join our team building hardware prototypes and advancing our next-generation transpilation tools. By leveraging AI and advanced verification techniques, we aim to bridge the gap between algorithm …
Code Metal
0 - 0 yrs
Boston, MA, USA
Keyskills :
JavaScript , API , API , Communication , Comprehensive , Computer Science , Development , Hardware Development , Integration , Intuitive , Maintainability , Node.JS , Pipeline , Relocation Assistance , Robustness , Science , Seamless Integration , Software Engineering , Talented , Tooling , Webpack , Frontend Testing
Designation:
N/A
Job Description:
Join our dynamic team to shape the future of AI-driven hardware development! We're seeking a talented Frontend Engineer to craft cutting-edge interfaces and tools for groundbreaking projects that transform how hardware emulation, simulations, and next-gen w…
Code Metal
4 - 5 yrs
Boston, MA, USA
Keyskills :
Software Development , Python , CI/CD , Analysis , Artificial Intelligence , Assurance , Code Generation , Communication , Computer Science , Design , Development , Effectiveness , Engineering Solutions , Formal Verification , Innovation , Intelligence , Mathematics , Multidisciplinary , Practical , Program Analysis , Prototype , Relocation Assistance , Research , Scalability , Science , Software Verification , Static Analysis , Verilog
Designation:
N/A
Job Description:
Overview Code Metal is seeking an Applied Scientist 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.You will col…
Code Metal
1 - 2 yrs
Boston, MA, USA
Keyskills :
Software Development , Python , Ambitious , Computer Science , Computing , Deep Learning , Design , Development , Distributed Computing , Distributed Computing Environment , Enforcement , Formal Verification , Greenfield , Infrastructure , Innovation , Learning , Optimization , Publications , PyTorch , Relocation Assistance , Research , Science , Software Engineering , Talented , Tooling , Training
Designation:
N/A
Job Description:
Role Description: Our mission is to enable hardware innovation at the speed of software development! We are working towards automatic code transpilation and optimization for any hardware application. Our work integrates cutting-edge methods in AI, formal v…
Code Metal
0 - 0 yrs
United States
Keyskills :
Python , Deep Learning , Development , Formal Verification , Hardware Development , Healthcare , Infrastructure , Kubernetes , Learning , Ownership , PyTorch , Relocation Assistance , TensorFlow , Workflow
Designation:
N/A
Job Description:
Your role Your be building a unique AI-driven flow framework designed to speed up hardware development by running production-ready code at the Edge. The product supports hardware emulation, simulations, and next-gen AI workflows for GPUs, FPGAs, IoT, and m…
