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
...motivated and innovative Senior Applied Scientist to join our research in Boston, MA to drive cutting-edge research and development... ...work at the intersection of machine learning, computational social science, and AI reasoning to develop scalable solutions for complex real...
...The Association of Test Preparation, Admissions, and Private Tutoring ( TPAPT ) is seeking Camp Counselors to work with students in the Littleton, CO area this summer! Candidates should have a knowledge of executive function coaching and experience working with small groups...
The Legal Aid Society has immediate openings for anchor attorneys in citywide Homicide Defense Task Force (HDTF). The anchor attorney will handle homicide cases exclusively and assist the Director of HDTF in providing leadership and mentorship to all homicide certified...
HEARING HEALTHCARE RECRUITERSis proud to present this opportunity in the beautiful state of New Jersey!A well-established audiology practice in Summit, NJ is looking for a skilled Audiologist to join their team! This is a fantastic opportunity for a dedicated professional...
...interested in recreation, outdoor adventure, and child care. Camp Counselors will be working with our week and day camps groups teaching... ..., water sports experience preferred. Why work here Our summer camp counselors are out on the water teaching kids watersports...