Senior Software Engineer for Planet's Global Monitoring Service team. Ensuring reliable releases and managing DevOps infrastructure for Defense & Intelligence customers.
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
Full Stack Engineer developing end - to - end features for innovative AI productivity solutions at Plaud. Collaborating with teams to build scalable web applications and ensure engineering standards.
Lead technical efforts in data modeling and credit solutions at Vindi. Engage in statistical modeling, performance monitoring, and insights extraction to boost financial decision - making.
Fullstack Developer at SunnyData developing scalable data solutions with modern tech stack like Python and Javascript. Collaborating in a dynamic environment addressing complex engineering challenges.
Technical Consultant in Toronto collaborating with clients to tackle business challenges. Develops solutions using various technologies in a supportive hybrid environment.
Senior Product Engineer at Docebo managing the entire lifecycle of features for an AI - powered learning platform. Engaging with customers and using data to build scalable solutions.
Full Stack Developer role in Brussels for European Dynamics, collaborating with major clients' IT teams. Responsible for front - end and back - end development and system integration.
Staff Engineer developing electrical systems for various applications at Celestica. Leading design, testing, and validation in cross - functional teams for high - quality product development.
Fullstack Developer developing .NET and React solutions for Grupo JCA over 90 years in transport. Collaborate in a multidisciplinary team ensuring software quality during all phases.
Tech Lead for Grupo JCA overseeing full stack development and team collaboration. Involved in architecture discussions and technical leadership for digital solutions.