Director of Software Engineering at Acuity leading AI - enabled digital commerce platform development and transforming user experience with modern architecture.
About the role
- Software Engineer developing high-assurance software using formal methods for national security at Leidos. Contributing to R&D projects requiring innovative automated reasoning technologies.
Responsibilities
- Serve in the role of an individual contributor on contract R&D programs
- Support the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research
- Develop software and test cases as well as the adaptation and extension of formal methods tools such as theorem provers, solvers, model checkers
- Engage with customers to develop new business opportunities
Requirements
- BS in Computer Science or closely related area and 4+ years of prior relevant experience or Masters with 2+ years of prior relevant experience
- Industrial/academic experience making significant contributions to formal verification
- At least 2 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
- At least 3 years of hands-on experience: Applying formal methods, using technologies such as theorem provers for first-order logic and higher-order logic
- Must be a U.S. Citizen and have the ability to obtain and maintain a Secret security clearance
Benefits
- competitive compensation
- Health and Wellness programs
- Income Protection
- Paid Leave
- Retirement
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Senior Product Engineer leading application and integration of protection and control solutions by Hubbell. Collaborating with engineering, sales, and customer support to deploy tailored technical solutions.
Software Engineer leading a team to develop high quality software solutions for DoD training systems. Supporting the JTSE program at Joint Staff Complex in Suffolk, VA.
Lead Principal Engineer Specialist at SAE facilitating aviation standards through technical management and collaboration. Recruiting and mentoring volunteers while driving continuous improvement initiatives in a hybrid work environment.
Product Engineer overseeing the technical lifecycle of screening and biomass handling products for Valmet. Collaborating with global teams and providing engineering expertise across the product lifecycle.
Lead ETL Developer responsible for ETL solutions involving data integration and automation. Working in a hybrid environment at Canada Life with a strong emphasis on collaboration.
Senior Software Engineer developing high - quality software solutions for Savanta. Collaborating with cross - functional teams in a hybrid work environment to deliver impactful products.
Technical Lead developing and evolving iTakeControl, a clinical trial patient engagement platform at Red Nucleus. Leading in - house product development with a focus on compliance and mentoring engineers.
Principal Software Engineer developing and enhancing secure software systems for Northrop Grumman's CHORD portfolio. Focused on collaboration, team empowerment, and personal responsibility in a complex technical environment.
Software Engineer developing Python applications on Linux for Northrop Grumman's Space Sector. Collaborating with cross - functional teams to deliver secure, scalable software in a SCIF environment.