iOS Platform Software Engineer enhancing app infrastructure, streamlining processes for Nextdoor, a neighborhood network. Work in an inclusive hybrid environment with high autonomy.
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
CQV Project Engineer supporting biomanufacturing projects and collaborating with clients, vendors, and teams. Focusing on quality work and long - term relationships.
Software Engineer responsible for cutting - edge software development at Kyndryl's advanced technology systems. Collaborating with teams to deliver effective solutions rapidly and efficiently.
AI Intern collaborating on backend APIs for ad campaign management and user experience optimization at Disney. Engaging with data analytics and AI to enhance advertising technology.
Senior Software Engineer at Vizient improving software solutions in a fast - paced healthcare environment. Collaborating in a Pair - Programming setting and mentoring teammates.
Staff Software Engineer at Broadcom focusing on cloud - native app development and AI integration. Leading architectural decisions and mentoring distributed engineering teams in Virginia and California.
Senior Engineer managing design, configuration, and maintenance of protection systems at AVANGRID. Collaborating on energy delivery infrastructure projects that ensure safety and compliance standards.
Senior Software Engineer leading infrastructure and developer tooling at robotics company. Collaborating with cross - functional teams to ensure secure and efficient robot deployments.
Senior Software Engineer leading development of core retail systems at Makro. Overseeing software engineering teams, project management, and technical leadership.
Senior Engineer at Antares Capital overseeing the Wall Street Office platform. Focused on stability, scalability, and integration architecture in enterprise financial technology.