Water/Wastewater Project Engineer at Hazen and Sawyer involved in design, planning, and management of infrastructures related to water and wastewater projects. Working in a creative, employee - owned environment focused on innovative solutions.
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
Software Engineering Manager delivering high - impact solutions for S&S Activewear. Leading engineering team on customer integrations and performance optimization.
Technical Lead specializing in Fiber Transport - based networks and Layer 2 protocols at Nokia. Collaborating with R&D and product management to deliver high - quality software solutions.
Senior Software Engineer leading firmware development for innovative vehicle systems at Ford. Overseeing architectural direction and integration of modular connected systems.
Controls Engineer developing advanced vehicle dynamics solutions for Ford Chassis Controls technologies. Collaborating in an agile environment to enhance vehicle performance and safety features.
Senior Engineer/Assistant Manager overseeing DCS project lifecycles at Emerson. Utilizing engineering expertise to manage key project KPIs: Cost, Schedule, Quality, and Risk.
Senior Construction Engineer/Supervisor at Stantec overseeing environmental remediation projects, ensuring compliance and on - time delivery. Leading diverse teams and managing contractor submittals and project reporting.
FKP engineer at Salesforce designing software for Kubernetes cluster management. Evaluating and integrating open source technologies to enhance infrastructure capabilities.
Lead/Principal Software Engineer delivering scalable integration solutions at Salesforce. Collaborating with cross - functional teams and guiding engineering practices in a dynamic tech environment
Full Stack Engineer at Schwarz IT Barcelona developing high - quality software using SOLID principles and agile methodologies. Collaborating in cross - functional teams to ensure product quality and performance.