3394 IT & Software Developer jobs in the US
Formal Verification Software Assurance Engineer
$100,000 - 245,000
Johns Hopkins Applied Physics Laboratory (APL)
Johns Hopkins Road 11100, Laurel
$100,000 - 245,000
Requirements
Must:
- Masters degree in Computer Science, Computer Engineering, Electrical Engineering, Applied Mathematics, or a related field.
- At least 2 years of professional experience or a mix of graduate research and practice in formal methods, software assurance, or similar domains.
- Familiarity with formal methods tools and techniques such as language safety properties, symbolic execution, abstract interpretation, model checking, automated theorem proving, programming language analysis, type theory, static code analysis, and formal logic.
- Proficient in understanding code across multiple programming languages and capable of developing software to demonstrate new analytical functionalities.
- Willingness to engage in local travel as needed.
- Must be able to acquire an Interim Top Secret security clearance by the start date and ultimately secure full Top Secret clearance, with eligibility for U.S. citizenship.
- Strong interpersonal skills with the ability to function both independently and collaboratively within a team.
Responsibilities
- Address challenges to enhance software assurance through static and dynamic analysis, language safety properties, symbolic execution, and other formal methods to combat key cybersecurity issues.
- Investigate methods to develop zero-defect software and systems.
- Collaborate within research teams composed of leading experts to advance software assurance theory and practical applications.
- Partner with engineers and scientists dedicated to innovation and enhancing national defense.
- Engage in research projects that utilize formal methodologies to solve real-world challenges, focusing on algorithm verification, code quality improvement, and the analysis of cyber-physical systems.
- Create and refine algorithms, techniques, and new tools aimed at enhancing critical systems and reliable risk assessment.
- Evaluate system development data and results, demonstrating the advantages of formal methods and analytical tools in system development.
- Communicate insights through presentations and published papers targeted at technical staff, management, and governmental entities. Participate in working groups, proposal drafts, and conferences where applicable.
- Join an environment that fosters professional growth, work-life balance, and encourages technical skills development.
- Enjoy opportunities for social engagements such as weekly game nights and annual summer cookouts.
Description
At the Johns Hopkins University Applied Physics Laboratory (APL), we deliver expert solutions to our nations foremost defense, security, science, and space challenges. Our focus extends beyond problem-solving to cultivating a supportive culture where employees can authentically express themselves, grow personally and professionally, and connect with inspiring colleagues. We value diverse perspectives and creativity, offering substantial benefits like educational assistance, excellent retirement plans, and a strong work-life balance. Our campus locates in the vibrant Baltimore-Washington metro area, providing a dynamic workplace for our staff.
Something wrong or incorrect with this job? Tell us in the chat 💬 on the right ➡️
You can find Java Developer salaries in the United States here.
How many Java Developer jobs are in the United States?
Currently, there are 3394 Java openings. Check also: Kotlin jobs, Scala jobs, Spring jobs - all with salary brackets.
Is the US a good place for Java Developers?
The US is one of the best countries to work as a Java 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 Java Developer jobs in the United States?
Meitou Inc., Allied Technical Solutions, KUBRA, D3 Security Management Systems, Agilus, Transport-Bourassa, OPP Association among others, are currently hiring for Java roles in the United States.
The company with most openings is Lockheed Martin Corporation as they are hiring for 276 different Java Developer jobs in the United States. They are probably quite committed to find good Java Developers.
The company with most openings is Lockheed Martin Corporation as they are hiring for 276 different Java Developer jobs in the United States. They are probably quite committed to find good Java Developers.