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
...they maintain a clean and safe environment.Benefits & perksAt Walmart, we offer competitive pay as well as performance-based incentive... ...vision and dental coverage. Financial benefits include 401(k), stock purchase and company-paid life insurance. Paid time off benefits...
...TITLE: VP of Finance / Controller - Portfolio Companies Location: Remote Who we are looking for: BDC is looking for a skilled, detail-oriented Private Equity Finance individual to perform and coordinate financial accounting duties for various portfolio companies...
...and service-oriented individuals to join our remote team. Youll work directly with union members who have requested benefits... ...required Flexible work schedule to fit your lifestyle Weekly pay plus performance-based monthly bonuses Annual incentive...
**Career Area:**Technology, Digital and Data**Job Description:****Your Work Shapes the World at Caterpillar Inc.**When you join Caterpillar, you're joining a global team who cares not just about the work we do - but also about each other. We are the makers, problem...
...VSSI STAFFING in Haltom City is hiring for 2nd shift CNC Lathe operators for a client in South Fort Worth - 76134 ****COME IN ASAP... ...6, OR 10 AXIS EXPERIENCE IS REQUIRED, OWN SET-UPS. ~2nd shift machinist (CNC lathe experience). ~ Depending on experience $20-$28.00....