LG Soft is seeking web programmers and C# programmers to work on the
NPCOMP SAT Solver Project for Digital Circuit Design.
See http://www.npcomp-sat-solver-project.com/npcomp-sat-solver-project/ for more details.
If interested, submit your resume/work history to [email protected]
List-of-Websites-That-Pertain-to-the-NPCOMP-Project
- npcomp.pbworks.com – wiki describing the project
- npcomp-sat-solver-project.com/npcomp-sat-solver-project/ – website describing the project
- lgsoft.online – employment portal for hiring new employees
- lgsoftinfo.sharepoint.com/ – sharepoint site for operating the project development
- lgsoft-programming.com – main programming solicitation of lgsoft
- zoho.com/people/ – hr website for npcomp
- 31.220.55.239 – Ubuntu virtual machine for HOL theorem prover