- Carnegie Mellon University (Pittsburgh, PA)
- …of Carnegie Mellon University has an exciting opportunity for a Postdoctoral Fellow . The SAT4Math project is developing solver technology that makes advanced ... SAT -based reasoning broadly accessible for mathematical discovery by enabling...and scales through component-based parallelism. The focus of the post -doc position is to design and implement this pipeline… more