CompilerJobs - vacancies for compilers

#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