Southeast USA including: Texas (Austin and San Antonio), Virginia (Arlington and Dulles), Alabama (Huntsville),
Florida (beach east of Melbourne), South Carolina (Greenville),
Maryland (Annapolis Junction), and possibly others, all ONSITE.
Citizenship is a job requirement.
We do emulators, JIT, hypervisors, stuff like valgrind, debuggers,
manual disassembly, binary static analysis, parsers, and assembly.
We write our own low-level tools, frequently in C99 to run on Linux.
We also use IDA Pro, qemu, Simics, JTAG debuggers, gdb, Coverity,
KlocWork, LLVM, and so on. Easily transferable skills include those
related to compilers, kernel drivers, embedded RTOSes, vectorizing,
firmware, VxWorks BSP development, symbolic execution, boot loaders,
software verification, concolic testing, abstract interpretation,
satisfiability (SAT, SMT) solvers, and decompilers. We work with
more than a dozen architectures including PowerPC/ppc/POWER, MIPS,
ARMv8/Thumb2/AArch64, x86-64/x64/Intel, DSPs, and microcontrollers.
We hire from no-degree to PhD. Common degrees include Computer Science, Computer Engineering, Electrical Engineering, and Mathematics.
We don't normally work overtime, and we get paid more if we do. We're never expected to take work home or be on call. Because of the citizenship requirement, there is no chance that the work will be outsourced. Flex-time is fairly extreme; some do randomish hours.
Hint: pick Arlington for a car-free life. Pick Florida to live in a place with no state income tax, a stand-your-ground law, almost no crime, almost no traffic or commute, and houses that commonly go for $100,000 to $400,000.
You can contact me at users.sf.net, with account name albert.