🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
#llvm #programanalysis #bap #verification #remote #office
Software Development Engineer
Correct Computation
College Park, MD. flexible about remote vs. in-person work
Baseline qualifications
- At least 2 years of industrial/academic experience (in research, development, or project-based coursework) in compiler construction, program analysis, formal verification, and/or theorem proving
- At least 3 years of experience writing code with compiled programming languages such as C/C++, Java, Rust, Scala, Haskell, or OCaml
- At least 3 years of experience in design and analysis of algorithms and data structures
Preferred qualifications
• At least 1 year of experience using the C and/or C++ languages
• At least 1 year of experience in a functional programming(-inspired) language, e.g., Haskell, Scala, OCaml, or Rust
• Experience developing with Clang/LLVM
• Experience developing with Binary Analysis, e.g., in BAP, or IDA/Pro
Interested in program analysis, fuzz testing, binary analysis, secure language design, and related PL/SE/Security topics?
Link to full description
Ссылка скрыта
Also they wanna see a TechLead:
Ссылка скрыта
Kudos: @GabrielFallen