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
...EPIC Early Learning is currently seeking enthusiastic and dedicated Volunteers to join our team at all EPIC locations. As a private, nonprofit organization, EPIC has been working hand-in-hand with children and families to provide early childhood educational services that...
...Key Responsibilities: The candidate will be responsible for building and managing senior and junior ETL developers. Work directly with global application development teams, Operations teams/partners to successfully integrate. Will work with team and manage deliverables...
Evan Guthrie Law Firm InternshipIf you are a high school, college student, law student, a graduate, or anywhere in between and want to gain experience in the legal profession please reach out to Evan Guthrie Law Firm about an internship opportunity.Internships are...
Class A OTR Truck Driver JobDiversified Transfer & Storage is looking for experienced drivers to run temperature sensitive LTL out of SLC. We are a family run business and our employees are part of that family. We work with you to get you the route the works best for...
...We are seeking an experienced Sr. PPC & AI Marketing Analyst to lead and optimize our paid media campaigns and leverage AI-driven marketing strategies. In this role, you will manage multi-channel paid search campaigns, drive automation, and use AI tools to maximize marketing...