Just because I don't know your reasoning. Why are you buy a recorder that recorded 4k to pair with a 1080p camera?
Aside from that question here are my thoughts on both the Atomos and BDM 4k. If you went with the BMD you would only need to carry one time of media that is very compact and affordable. SSDs for the Atomos are fairly cheap now a days but they take up more space, you need a dock for them (more $$$), and the BMD seems slightly more compact than the Atomos Ninja Flame. (I assumed that Atomos because of the price point.) Those are just my initial thoughts. I would say rent them both once and use them, or find someone who has one and test it out. You won't really know which one you prefer till you get hands on with it.
Back to my question at the top. You could save yourself some serious coin if you got a 1080p recorder instead of a 4k one. I'm not sure if you are planning on upgrading cameras soon and that is the case, but that is my thought on that. Hope this helped in some way.
Take a look at these
Tokina AT-X Pro 12-24mm f/4
It's around $200 used on Ebay. I believe it will fit the full frame sensor as well as get you pretty wide with out crazy distortion on a S35 sensor. I would look into image examples via google and see what you think.
The DP's Grade looks much better than the official Panasonic Release of the first footage. I noticed some patterned color noise in the 800 ISO shots in the mirrored room. This was not present in the same shots on the DP's grade.
I feel like the skin tones look like every other Panasonic camera, and I was hoping for something more natural looking. Don't get me wrong the camera makes some really nice images, but I think there is work left to be done on how to best use it, and get the most out of it.
I have to agree with Jon here, but completely get where you are coming from. I am a highly technical minded person and can let white papers and specs distract from the art form. At the end of the day shoot as close to the finished product as you can so you don't have to push the image super hard, and focus heavily on the content. I've had many a professor and filmmaker tell me that "Content is King!" There will always be those people in the audience that will make a judgement on a small flaw, that the majority of people will never notice. A poorly put together story though can sink the whole project.
I wish you the best of luck and look forward to seeing the final project shared here!
Andrew's idea would work well. I would hope for a spare server that the system may already have. Not sure what your plan for organization will be but with students expect it to not be followed very well. I would try and keep the server access limited to few trusted students or just yourself and IT. Possibly only keeping finished videos on it, or consistently purging the raw footage once a project is wrapped. Just my two cents from experience, the space will go faster than you think.
With that kind of money you can pretty much get whatever you want in terms of specs. I would recommend a PC as you can get a very powerful GPU for editing. Probably something around a GTX 1080. That GPU will run laps around any Macbook Pro setup in Adobe CC and Davinci.
Kind of a side note the reason everyone says Macbooks work so well for editing probably comes down to them using Final Cut X. This software is so well integrated with the hardware because the same company makes both that it absolutely flies in terms of speed. I still think that the components in the Macbook are not worth their price tag they charge. Just my two cents.