The academic job search can be a stressful and grueling process even in the best of times. Now it will be worse. Here’s some guidance on navigating the faculty job market in these unique times.
Editors: Michael Hicks and Todd Millstein
academic writing advice AI safety algorithms announcement architecture awards climate change communicating quantitative information compilers computer security concurrency conferences diversity formal reasoning formal verification functional programming gradual typing graphs history industrial adoption language design machine learning Measurements MIP award neural networks news open access optimization program analysis programming program synthesis proof engineering publication process quantum computing research highlights rust language science separation logic service soundness static analysis statistics type system type systems