user avatar

Software Engineer*

Kudu Dynamics, LLC

Today
Top Secret
Unspecified
Unspecified
IT - Software
Chantilly, VA (On-Site/Office)

Who We Are:
Kudu Dynamics is a Leidos owned company, forged out of a decade of experience in computer networks and staffed with talent who have built, overseen, and enhanced capabilities throughout the entire USG arsenal. Our team of hackers, engineers, makers, and shakers have experience spanning centuries of research, development, and missions - across desktop, mobile, IoT, and embedded platforms. Kudu Dynamics is uniquely qualified to anticipate tomorrow's threats and build the next generation of capabilities.
Join a growing team of security researchers and software engineers as we transition a state-of the-art IoT security solution from the lab to multiple customers.

Full Job Description:
The team is working to build a cutting-edge program analysis tool capable of automatically analyzing thousands of software samples. To do this, we need to build reliable and scalable code that can rapidly deliver value to our customers.
We are looking for a talented software engineer who takes pride in delivering high quality and maintainable solutions to a variety of problems. You will be working with a small team of hackers, academics, and PLTnerds that support a growing number of programs in our Program Analysis Division.

Responsibilities:

Implement techniques in several programming languages, including: Python, Rust, Java, and/or Haskell.
  • Make significant contributions to our existing efforts, including: static, dynamic, and symbolic analysis of program binaries; type systems for finding vulnerabilities; and symbolic execution of program binaries.
  • Design and implement programming libraries and frameworks in a variety of programming languages.
  • Critically analyze, interpret, and communicate experimental results.

Required Qualifications:
  • Hold a degree in computer science or computer engineering -- or equivalent hands-on experience.
  • Experience with at least two of the following programming languages: Rust, Python, C, C++, or Java.
  • Ability to quickly learn additional programming languages.

Preferred Qualifications:
  • Familiarity with mathematical notation for logic, type theory, or formal methods.
  • Experience designing and implementing program analysis techniques.
  • Experience with software or hardware reverse engineering.
  • Experience with existing program analysis tools.
  • Knowledge of software vulnerability classes and vulnerability research techniques.

Benefits We Provide:
  • Your own yearly discretionary budget to buy the things that make you happy.
  • Competitive salaries, premium healthcare options, 401k matching, and guaranteed annual bonus.
  • We also offer 4 weeks of paid time off and 11 federal holidays to use whenever you want throughout the year.
  • Awesome, enthusiastic coworkers and a company culture that promotes a jerk-free environment.

Kudu provides equal employment opportunities to all employees and applicants for employment and prohibits discrimination and harassment of any type without regard to race, color, religion, age, sex, national origin, disability status, genetics, protected veteran status, sexual orientation, gender identity or expression, or any other characteristic protected by federal, state or local laws.

Pay Range: $150,000 - $170,000 per year
group id: 91117906

Match Score

Powered by IntelliSearchâ„¢
image match score
Create an account or Login to see how closely you match to this job!

Similar Jobs


Job Category
IT - Software
Clearance Level
Top Secret