We are seeking an individual with training in economics and some experience in computer science to help us develop our innovative auction software. The project will consist of understanding the complex auction rules and scenarios that our software is designed to handle, and devising a strategy to stress test and verify the correctness of the software in a variety of challenging conditions. You will also help to design ongoing improvements to the system to make it easier to use and more robust.