She is going to be running AutoDesk products and as someone who runs an engineering firm and specs out the builds for my own and colleagues firms, I can tell you that $1000 is a bit tight for running programs that start at $4,000 and go up .....way up ..... from there. Luckily students pay almost nothing for the software but that doesn't help on the hardware end.
http
/www.autodesk.com/products/autodesk-revit-family/buy
I would consider the following as a minimum:
1920 x 1080 screen (15 or 17")
Nvidia GeForce GTX 670MX 3GB GDDR5 Memory
7200 rpm Hybrid SSD / HD (Momemntus XT)
i7-3630QM Processor
16GB DDR3-1600
That should run ya about $1,300 w/ student discounts
http
/www.lpc-digital.com/sager-np9150.html
http

/www.lpc-digital.com/notebook-review-members-military-and-student-discounts.html
If doing rendering .... NVIDIA Quadro K3000M with 2GB GDDR5 (+$600). Hopefully they have facilities on campus to handle this for the kids.
BTW, 16GB of RAM factory installed was a $70 option, the hybrid SSD / HD added $90 ....both were included in ht e $1300 And BTW, get the OS on campus .... typically $20