Test Manager / Architect
Corensic
–
Seattle, WA
React to this job:
0
0
0
This job is no longer accepting applications.
- Posted 18 days ago
About this job
Job type:
Full-time
Job description
Corensic is about something very simple, but very difficult: Physics won't let us scale the clock frequency of CPUs any more; but the alternative -- writing, understanding, and deploying concurrent software -- is hard. It's hard when you can't repro a bug. It's harder when you can't figure out what happened in a bug. It's hardest of all when you ship or deploy an intermittent bug. Something has to give!
Corensic's first product, Jinx, makes software "unlucky" by making rare timings between threads and processes happen quickly. This makes it easy for people developing or deploying complex software stacks to ensure that latent concurrency errors don't lurk in code. It makes concurrent software make more sense by restoring the simplicity of the single-threaded debugging experience to the multi-threaded world.
Jinx is built on thin hypervisor technology: it uses the VT-x and AMD-V features of Intel and AMD CPUs to precisely (to the instruction and even microcode level) choose timings for programs. On top of this application platform is a system that checkpoints machines and speculates future states of the machine, looking for adversarial and buggy timings. Because we work at the hypervisor level we can find bugs in kernel and usermode code, and with any language or framework that provides for concurrency, on any operating system running on x86 or x86-64 hardware. The information about what can go and has gone wrong is presented to the user using state of the art visualization techniques.
Corensic is looking for an experienced QA Architect/Manager who is also interested in writing code. Responsibilities include:
• Developing test plans for Jinx concurrency debugger and visualizer
• Writing buggy software to measure the effectiveness of Jinx, and verify its features, in C, C++, C#, and Java.
• Managing China-based team of four Test Engineers.
• Building and maintaining a performance testing system for Jinx.
• Manage lab of heterogeneous PC hardware used to test Jinx.
This is an awesome opportunity to gain experience both with managing test processes and also with writing concurrent software. If you're excited, submit a resume!
Corensic's first product, Jinx, makes software "unlucky" by making rare timings between threads and processes happen quickly. This makes it easy for people developing or deploying complex software stacks to ensure that latent concurrency errors don't lurk in code. It makes concurrent software make more sense by restoring the simplicity of the single-threaded debugging experience to the multi-threaded world.
Jinx is built on thin hypervisor technology: it uses the VT-x and AMD-V features of Intel and AMD CPUs to precisely (to the instruction and even microcode level) choose timings for programs. On top of this application platform is a system that checkpoints machines and speculates future states of the machine, looking for adversarial and buggy timings. Because we work at the hypervisor level we can find bugs in kernel and usermode code, and with any language or framework that provides for concurrency, on any operating system running on x86 or x86-64 hardware. The information about what can go and has gone wrong is presented to the user using state of the art visualization techniques.
Corensic is looking for an experienced QA Architect/Manager who is also interested in writing code. Responsibilities include:
• Developing test plans for Jinx concurrency debugger and visualizer
• Writing buggy software to measure the effectiveness of Jinx, and verify its features, in C, C++, C#, and Java.
• Managing China-based team of four Test Engineers.
• Building and maintaining a performance testing system for Jinx.
• Manage lab of heterogeneous PC hardware used to test Jinx.
This is an awesome opportunity to gain experience both with managing test processes and also with writing concurrent software. If you're excited, submit a resume!