Job Title
Principal Software Engineer - Program Analysis for AI
Overview
We 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 between algorithm development and deployment to embedded systems.
In this role you will play a lead role in architecting and implementing novel code generation pipelines that use a mix of Generative AI, Static Analysis and Formal Verification methods to translate code written in one language to another.
Requirements
Responsibilities
● Define Software Architecture for Agentic AI pipelines.
● Build well tested extensible code foundations for code translation products.
● Collaborate with domain specialists to incorporate formal verification and static analysis methods into code generation pipeline.
● Collaborate with the software engineering and research teams to build robust code repositories and continuous integration processes.
Must Have
● Seven or more years of experience with collaborative enterprise-level software development in C++ to deliver products to a large customer base
● Demonstrated experience gathering requirements from stakeholders and distilling them into software designs
● Demonstrated experience planning and executing on large projects in a team-based setting
● Demonstrated history of building and delivering robust software by employing best practices throughout the SDLC process, including Code review, Testing, Continuous integration, Release management and Build systems
Great to Have
● Experience with Compiler development - experience with Clang, LLVM
● Experience with advanced software verification techniques like fuzzing and/or formal verification
● Python experience
● Experience with ML Tools and Frameworks
● Experience working with embedded, heterogeneous (FPGA and/or GPU), and/or distributed systems
...FINRAs National Cause Program (NCP) is charged with the investigation of cause matters involving potential fraud or other serious misconduct... ...- and long-term disability, long-term care, business travel accident, disability and legal. FINRA offers immediate participation...
...our growing team! IntellaTriage Nurses enjoy the benefits of working from home, providing care, without the stress and expense of commuting each day! **MUST have or be willing to obtain a Compact LPN license **MUST live in/work from a Compact US state **...
**What makes DHL great?** Our People! We know each employee's individual contributions make us the #1 Delivery and Logistics Company in the world.**_Distinguished as No. 1 World's Best Workplace by Great Place to Work and Fortune Magazine_**DHL is committed to maintaining...
Description Growing Business Immigration Practice Seeks Immigration ParalegalThe paralegal will handle drafting of immigration documents... ...paid medical/dental/vision benefits and retirement plan.For entry-level, new grads, the pay is $24/hour + 100% covered health benefits...
Fashion SalesFASHION SALES (REEL DEPARTMENT STORE) Ballon Rouge is currently looking for an experienced fashion sales associates to join us in one of our store located in the luxury mall, REEL (1601 Nanjing West Rd, SH) We are offering high quality and unique fashion design...