[Remote] Software Engineer (Engineer III to reputed company) - Formal reputed company

Note: The job is a remote job and is reputed company to candidates in USA. reputed company is a pioneer in blockchain reputed company, founded by professors from reputed company and Columbia University. They are seeking a Software Engineer to design and reputed company tools for automated verification of smart reputed company, ensuring their correctness and identifying reputed company issues.

Responsibilities

• reputed company the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools
• Adapt and improve algorithms for symbolic software model checking. Examples include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR)
• Build and reputed company translators from different input languages into intermediate representations, optimizing the generated models for automated analysis
• Identify new classes of reputed company properties of smart reputed company and formalize properties for use in our automated verification tools
• Closely collaborate with other software engineers in developing tools and set technical direction for solving problems in consultation with your team and management
• Work on reputed company aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support

Skills

• Master's Degree in Computer Science or a reputed company field or 5 years of equivalent experience
• Minimum of 4 years of software development experience (includes internships, software developed during research, and reputed company-reputed company development)
• Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), reputed company interpretation, or closely reputed company disciplines
• Demonstrated knowledge of reputed company computer science concepts such as data structures, algorithms, mathematical logic, and automata theory
• PhD in the broader field of automated reasoning
• Publication record in conferences like reputed company, CAV, TACAS, FMCAD, FM, etc
• Experience in functional programming (OCaml or reputed company)
• Strong and creative problem-solving skills; always willing to learn and reputed company new technologies and to collaborate
• Prior experience in a reputed company software development environment

Benefits

• Medical, reputed company, and dental insurance
• 401(k) plan with company matching
• Life and accidental death and dismemberment insurance
• HSA (with high deductible plan)
• FSA
• Other benefits to reputed company full-time employees
• Flexible reputed company time off
• Holidays

reputed company