... programming fixes and rewrites. · Performs software maintenance tasks Deliver software to users ... Scheme, OCaml, or Clojure · Experience using Linux as a development platform · Experience ...
... programming fixes and rewrites. · Performs software maintenance tasks Deliver software to users ... Scheme, OCaml, or Clojure · Experience using Linux as a development platform · Experience ...
... smart contracts. They are seeking a Software Engineer (Engineer III to Principal) to design and ... in functional programming (OCaml or Haskell). • Strong and creative problem-solving skills ...
... smart contracts. They are seeking a Software Engineer (Engineer III to Principal) to design and ... in functional programming (OCaml or Haskell). • Strong and creative problem-solving skills ...
... contracts, ensuring their correctness and identifying security issues. Responsibilities : • ... in functional programming (OCaml or Haskell). • Strong and creative problem-solving skills ...
... contracts, ensuring their correctness and identifying security issues. Responsibilities : • ... in functional programming (OCaml or Haskell). • Strong and creative problem-solving skills ...
Software Engineer (Engineer III to Principal) - Formal Methods
New York, NY · On-site +1
$115K - $230K/yr
Experience in functional programming (OCaml or Haskell). * Strong and creative problem-solving ... and smart contracts. CertiK's mission is to secure the cyber world. Starting with blockchain ...
Software Engineer (Engineer III to Principal) - Formal Methods
New York, NY · On-site +1
$115K - $230K/yr
Experience in functional programming (OCaml or Haskell). * Strong and creative problem-solving ... and smart contracts. CertiK's mission is to secure the cyber world. Starting with blockchain ...
Software Engineer (Engineer III to Principal) - Formal Methods
New York, NY · Remote
$115K - $230K/yr
Experience in functional programming (OCaml or Haskell). * Strong and creative problem-solving ... and smart contracts. CertiK's mission is to secure the cyber world. Starting with blockchain ...
Quick apply
Software Engineer (Engineer III to Principal) - Formal Methods
New York, NY · Remote
$115K - $230K/yr
Experience in functional programming (OCaml or Haskell). * Strong and creative problem-solving ... and smart contracts. CertiK's mission is to secure the cyber world. Starting with blockchain ...
Contract Ocaml Programming information
What are the key skills and qualifications needed to thrive as a Contract OCaml Programmer, and why are they important?
What are some common challenges faced by contract OCaml programmers when integrating with existing codebases?
What is contract OCaml programming?
What is the difference between Contract Ocaml Programming vs Software Developer?
| Aspect | Contract Ocaml Programming | Software Developer |
|---|---|---|
| Required Credentials | Proficiency in OCaml, programming experience, possibly certifications in functional programming | Bachelor's degree in CS or related field, programming skills, certifications vary |
| Work Environment | Project-based, freelance or temporary contracts, often remote | Full-time employment, office or remote work, team collaboration |
| Industry Usage | Specialized in functional programming, niche industry applications | Broad industry applications, including web, mobile, enterprise |
| Search & Comparison Intent | Clients seeking OCaml expertise for specific projects | Employers hiring for general software development roles |
Contract Ocaml Programming focuses on specialized, project-based work requiring expertise in OCaml, often in niche industries. Software Developers have broader roles across various industries, typically in full-time positions. Both roles require programming skills, but the scope and work environment differ significantly.

Software Engineer-IV - W2 Role - Applicant Must Be Current WI Resident
V.L.S. Systems, IncMadison, WI • Hybrid
Other
Posted 28 days ago
Job description
NOTE: APPLICANT MUST BE ON OUR W2 AND CURRENT WI RESIDENT. NOT ACCEPTING SUB-VENDORS.
Role: Software Engineer-IV
Location: Madison, WI - Hybrid
Duration: 6 Months w/extensions
Interview: MS Teams
Job Description:
· The State of Wisconsin is looking for a Software Engineer IV.
· Candidates must be CURRENT WI residents. No relocation allowed. This position is primarily onsite, with some remote flexibility.
Summary Description:
Under the supervision of the Software Development Supervisor, the Software Engineer is responsible for developing custom web applications for the Wisconsin Agency System and key stakeholders, assuring software quality, providing technical assistance, troubleshooting software issues, and providing technical expertise to the Agency development team.
Collaboratively develop software applications for the Wisconsin Agency System:
· Member of a Scrum development team.
· Writes functional software for web applications.
· Refines requirements.
· Performs application tests.
· Writes unit tests.
Provide technical assistance to customer support staff:
· Assists with software troubleshooting.
· Performs programming fixes and rewrites.
· Performs software maintenance tasks
Deliver software to users:
· Creates software release artifacts.
· Manages software revisions
· Manages automated deployments
Knowledge, Skills, and Abilities Required:
· Bachelor’s degree in computer science or related field
· At least 5 years of relevant programming experience
· At least 5 years of experience in developing complex web applications
Knowledge, Skills, and Abilities Preferred:
· Training or experience in functional languages such as Scala, Haskell, Purescript, F#, Erlang, Self, Scheme, OCaml, or Clojure
· Experience using Linux as a development platform
· Experience developing web applications using PureScript, Scala, and PostgreSQL
Direction:
The Software Engineer works under the general direction of a Software Development Supervisor. The position works on a collaborative basis with other Software Engineers, Project Managers, Database Administrators, and Business Process Analysts.
Top Required Skills & Years of Experience:
· Bachelor’s degree in computer science or related field
· At least 5 years of relevant programming experience
· At least 5 years of experience in developing complex web applications
Top Nice to Have Skills:
· Training or experience in functional languages such as Scala, Haskell, Purescript, F#, Erlang, Self, Scheme, OCaml, or Clojure
· Experience using Linux as a development platform
· Experience developing web applications using PureScript, Scala, and PostgreSQL
Interview Process:
· Teams
Contract Duration:
· 06/30/2026, extension for high-performing candidates is expected
Onsite or remote?
· Candidates must be CURRENT WI residents. No relocation allowed. This position is primarily onsite, with some remote flexibility.
Project Details:
The Software Engineer works under the general direction of a Software Development Supervisor. The position works on a collaborative basis with other Software Engineers, Project Managers, Database Administrators, and Business Process Analysts.
Will this position have access to FTI (Federal Tax Information)?
· Yes
Travel Required?
· No
Security Required:
· No
About VLS Systems
Sourced by ZipRecruiter
Industry
It services
Company size
201 - 500 Employees
Headquarters location
Chantilly, VA, US
Year founded
1995