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
...seamless financial operations, and we are looking for a skilled bookkeeper to join our team on a part-time basis. Who We Need: We're... ...an average of 20-25 hours per week after initial training. - Remote Work: This is a work-from-home position, though occasional in-...
indiGO Auto Group is a globally recognized and award-winning company with an unparalleled dedication to outstanding customer care and operational excellence. indiGO Auto Group is an industry thought leader representing 24 timelessly modern franchised dealerships in seven...
Returning Users Log Back In Role Overview Sodexo is seeking a Food Production Manager 2 for Ohio Northern University located in Ada, Ohio . This manager will partner with the Executive chef for the day to day operations of the culinary staff. Sodexo provides...
...who honors tradition, embraces individuality, and leans into every ride as one! Summary Description Provide high value vehicle sales to customers using current proactive feature benefit sales techniques and processes. Reinforce our dealerships' value proposition...
988 Lifeline Call Taker - Overnight ShiftsAvailable ($20/hr) Joinour team as a 988 Lifeline... ...in our Framingham office and remote work thereafter.Candidates must commit to at... ...have a quiet workspace for working from home Must be available for at least 2 shifts...