Lead Software Engineer - Beavercreek

Job Description

Requirements
- -----------

### Must have:

### We are seeking a candidate who possesses a strong background in proposing, securing, and executing projects with organizations such as DARPA, IARPA, or comparable agencies within the last five years. The ideal applicant will hold a Bachelor's degree in Computer Science, Mathematics, or a related field with at least 12 years of relevant experience; an M.S. with 10 years; or a Ph.D. with 8 years of experience (the latter being preferred). Furthermore, experience in either industrial or academic settings focused on advancing the state of the art in formal verification is essential. This includes developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving. We also require at least four years of experience with programming languages like Java, Scala, C/C , Ruby, Rust, or Python, as well as expertise in test and evaluation, software analysis and specification. Strong verbal and written communication skills are necessary for effectively engaging with senior leadership and technical teams, along with the ability to present complex software solutions clearly. Qualified candidates must be U.S. Citizens and possess the ability to obtain and maintain a Secret security clearance.

Responsibilities:
- ----------------

In this role, you will develop pioneering solutions to complex issues of interest to the Defense Advanced Research Projects Agency (DARPA) and the U.S. Department of Defense (DoD). You will engage with R\&D customers and transition partners to understand their technical gaps and needs for software solutions in mission-critical systems. Leading teams of researchers and engineers, you'll be responsible for the development, adaptation, and extension of innovative methods to ensure high assurance software deployment across various technical areas and application domains. Your work will aim to advance the state of the art while tackling enduring problems of national security, such as software understanding. You will also create novel methods for generating assurance evidence for critical software at scale, collaborate within cross-disciplinary teams to deliver AI-driven innovations that show measurable mission impacts, and stay informed about software technology trends in the customer and broader R\&D communities to identify future funding opportunities for software R\&D.
- --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Company:
- -------

We prefer candidates who hold a Ph.D. in Computer Science, Mathematics, or a related discipline and have applied formal methods using technologies such as theorem provers for first-order and higher-order logic, proof assistants, and automated reasoning tools. Experience in applied research areas related to Cyber-Physical Systems (CPS) such as autonomous vehicles, smart sensors, or the Internet of Things is highly desired. A strong ability to analyze software semantically, ensure solid customer relationships, discover true technical challenges, and recommend alternative solutions is valued. Additionally, candidates should have experience leading the application of formal methods in fundamental research contexts and in solving problems within complex domains under dynamic and uncertain conditions. Strong communication skills are crucial for conveying technical information clearly and coherently. Proven experience in assembling effective teams from both academia and industry for competitive research and development opportunities is essential, as is experience in developing software for critical applications requiring certification. Pay Range: Our compensation for this role ranges from $126,100.00 to $227,950.00. This range serves as a guideline and does not guarantee a specific salary. Additional factors influencing the offer may include job responsibilities, education, experience, skills, internal equity, market alignment, applicable bargaining agreements, or legal considerations.
- --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------