There are multiple portions of this project only one of which is rendering. The rest is data acquisition, job scheduling, and some other stuff. I've got to samp

There are multiple portions of this project only one of which is rendering. The rest is data acquisition, job scheduling, and some other stuff. I've got to sample a source of data and run a lot of code on it. > If you're just looking to learn formal methods, then I guess it's whatever. But if you're looking to stand out, you might want to figure out what's important to your stake holders and focus on that. I'd be pleasantly surprised if the answer to that question is formal methods. I was just joking around a bit. I've been interested for some time.