LG Soft Human Resources Department LG Soft is Hiring 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.