866 IT & Software Developer jobs in the US
Software Developer - Formal Techniques
$85,150 - 153,925
F Street, Chula Vista
$85,150 - 153,925
Requirements
Must:
We are seeking candidates with the following qualifications:
- A Bachelor’s degree in Computer Science or a closely related discipline with 4+ years of relevant experience, or a Master’s degree with 2+ years of related experience.
- Practical experience in formal verification and contributions to technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving.
- A minimum of 2 years of experience using programming languages including Java, Scala, C/C++, Ruby, Rust, or Python.
- At least 3 years of hands-on experience applying formal methods and utilizing tools such as theorem provers for first-order and higher-order logic, proof assistants, or solvers. Expertise in applied research areas like autonomous vehicles, smart sensors, or the Internet of Things is advantageous, particularly in scenarios involving U.S. national security.
- U.S. citizenship and the ability to obtain and maintain a Secret security clearance.
Responsibilities
As a Formal Methods Software Engineer, you will act as an individual contributor on contract R&D programs, supporting a principal investigator or task lead. Your main tasks will involve:
- Developing, adapting, and enhancing innovative solutions in automated reasoning and applied research.
- Engaging with customers to identify and cultivate new business opportunities.
- Creating software and test cases, as well as modifying and extending formal methods tools such as theorem provers, solvers, and model checkers to produce assurance evidence.
- Advancing innovative technical solutions that tackle long-standing national security challenges while being part of a high-performing team.
Description
We emphasize that we are not seeking perfectly polished resumes or ideal candidates. We value individuals who challenge limits, ask difficult questions, and take initiative. At Leidos, we are not merely adhering to the established path; we are redefining it. Preferred Qualifications: We favor candidates who possess: - A Ph.D. or M.S. in Electrical Engineering, Computer Science, Mathematics, or related fields focused on low-level systems and software correctness. - Experience in applying formal methods in foundational research addressing complex issues under uncertainty and evolving technical challenges. - Proven experience in extending formal methods tools to meet new challenges. - Involvement in the proposal and execution phases of competitive, externally-funded projects, particularly with clients like DARPA. - The capacity to thrive in a dynamic and fast-paced setting. - Exceptional written and verbal communication skills, capable of presenting intricate technical details clearly and coherently. - Proximity to either Arlington, VA, or San Diego, CA is preferred.
Something wrong or incorrect with this job? Tell us in the chat 💬 on the right ➡️
You can find C / C++ Developer salaries in the United States here.
How many C / C++ Developer jobs are in the United States?
Currently, there are 866 C / C++ openings.
Is the US a good place for C / C++ Developers?
The US is one of the best countries to work as a C / C++ Engineer. It has a vibrant startup community, growing tech hubs and, most important: lots of interesting jobs for people who work in tech.
Which companies are hiring for C / C++ Developer jobs in the United States?
Sperasoft, bunny.net, Giesecke+Devrient, Webistry, Permobil, SAVIT CORPORATION, SOLUTION SOURCE among others, are currently hiring for C / C++ roles in the United States.
The company with most openings is Leidos as they are hiring for 142 different C / C++ Developer jobs in the United States. They are probably quite committed to find good C / C++ Developers.
The company with most openings is Leidos as they are hiring for 142 different C / C++ Developer jobs in the United States. They are probably quite committed to find good C / C++ Developers.