Padmi

Senior Software Engineer

United StatesPosted 2 months ago
Software engineeringUnspecified
Apply at Compunnel

Opens the source posting on staffline.compunnel.com

Source description

About the role

View original

Upload Resume

  • { margin: 0; padding: 0; outline: 0; border: 0 }

body { font-family: "open sans","Helvetica Neue",Helvetica,Arial,sans-serif; background-color: #011f4b; font-size: 12px; color: #333 !important }

.full_width { width: 100%; float: left }

#uploadResumeCandidateOuter header .headerTop { padding: 1em 5em 1em 2.5em; background: #fff; display: -webkit-box; display: -ms-flexbox; display: flex; -webkit-box-pack: justify; -ms-flex-pack: justify; justify-content: space-between; -webkit-transition: all .3s ease-in-out; transition: all .3s ease-in-out; -webkit-box-align: center; -ms-flex-align: center; align-items: center; box-shadow: 0 1px 5px rgba(0,0,0,.2) }

#uploadResumeCandidateOuter .logo { float: left; font-size: 0; position: relative; z-index: 2 }

#uploadResumeCandidateOuter header .logo img, #uploadResumeCandidateOuter header .logo svg { -webkit-transition: all .3s ease-in-out; transition: all .3s ease-in-out; height: 60px }

#jobdetailsContent { background: #fff }

.jobDetailsWrapper { max-width: 1134px; margin: 0 auto }

.jobDetailsWrapper h2 { font-size: 2.3em; color: #002d69; font-weight: 600; margin-bottom: 30px; margin-top: 30px }

.jobDetailsWrapper .buttonFooter { text-align: right; border: 0; padding-top: 25px }

.btn.btn-nursedeck.back { color: #646464 !important; border: 2px solid #646464 !important }

.btn.btn-nursedeck.back:active, .btn.btn-nursedeck.back:focus, .btn.btn-nursedeck.back:hover { background-color: #646464; color: #fff !important }

.btn.slpback { background-color: #646464 }

.btn.slpback:active, .btn.slpback:focus, .btn.slpback:hover { background-color: #646464 }

.jobdetail h3 { margin-top: 5px; font-size: 16px; font-weight: 600 }

.jobDetailsWrapper .submitResumeSec { border: 1px solid #e5e6e7; box-shadow: inset 0 1px 1px rgba(0,0,0,.075) }

.jobDetailsWrapper .col-md-5.control-label { text-align: left; font-weight: 400; margin: 0; margin-top: 5px }

.form-group { margin-bottom: 15px }

.jobDetailsWrapper .col-md-5.control-label span { color: red }

.p-h-md { padding: 25px 0 }

.submitCandi_list li .fa.fa-circle { color: #19967d }

.submitResumeSec > ul { padding: 20px 1.5em; list-style: none; margin-bottom: 10px; }

.submitResumeSec > ul > li { padding-left: 10px; }

.submitResumeSec .descHeight { height: auto !important; }

.jobDetailsWrapper .col-md-3.control-label { text-align: left; font-weight: 400; margin: 0; margin-top: 5px; width: 20% }

.jobDetailsWrapper .col-md-9 { width: 80% }

.upLoadResumeWindow { padding-top: 15px; margin-top: 15px; border-top: 1px solid #e5e6e7 }

.submitCandi_header { width: 100%; float: left; padding-bottom: 0 }

.submitCandi_header h3 { color: #0c7cba; font-size: 2em; margin: 0; display: block; line-height: normal }

.submitCandi_header span { font-size: 1.3em; margin: 0; display: block; line-height: normal }

.submitCandi_list { width: 100%; float: left; padding: 1em 0; text-align: left; max-width: 56em }

.submitCandi_list li { display: inline-block; margin-right: 3em; margin-bottom: 2em }

.submitCandi_list li:last-child { margin-right: 0 }

.submitCandi_list li i { display: inline-block; font-size: 1.15em }

.submitCandi_list li p { display: inline-block; margin: 0 0 0 .1em; vertical-align: top; font-size: 1.1em; line-height: 1.3em }

.submitCandi_list li p span { font-size: .9em }

.submitCandi_list li p label { font-weight: 600 }

.submitCandi_list li .fa.fa-circle { color: #19967d }

.submitCandi_list li .fa.fa-circle.InactiveStage { color: red }

.submitCandi_list li .fa.fa-circle.HoldStage { color: orange }

.page-heading .buttonFooter { border-top: none; margin-top: 20px }

.buttonFooter .btn { width: 102px; padding: 6px 12px; margin-right: 5px; font-size: 14px; border: 1px solid transparent; display: inline-block; font-weight: 400; line-height: 1.42857143; text-align: center; white-space: nowrap; vertical-align: middle; background-color: #144991; touch-action: manipulation; cursor: pointer; user-select: none; color: #fff !important; background-image: none; border-radius: 4px }

.buttonFooter .btn.close_btn { border: 1px solid #d2d2d2 }

.btn.slpback { background-color: #646464 }

.fixedBTN { z-index: 99 }

.btnFixed { width: 96%; padding: 5px 15px; width: calc(100% - 70px); display: block; right: 0 }

.form-control, .single-line { background-color: #fff; background-image: none; border: 1px solid #e5e6e7; border-radius: 4px; color: inherit; display: block; padding: 4px 5px; transition: border-color .15s ease-in-out 0s,box-shadow .15s ease-in-out 0s; width: 100%; font-size: 12px; height: 28px; transition: all .3s }

.form-control[disabled]:focus, .form-control[disabled]:hover, .form-control[readonly]:focus, .form-control[readonly]:hover, fieldset[disabled] .form-control:focus, fieldset[disabled] .form-control:hover { border: 1px solid #e5e6e7 }

.has-success .form-control { border-color: #1ab394 }

.has-warning .form-control { border-color: #f8ac59 }

.has-error .form-control { border-color: #ed5565 !important }

.valError { color: #ed5565; font-size: 10px; display: block; text-align: left }

.loaderSection { background: rgba(51,51,51,.35); height: 100%; position: fixed; top: 0; width: 100%; left: 0; display: none; z-index: 99999 }

.container { padding: 15px 25px; max-width: 330px; border-radius: 8px; -webkit-border-radius: 8px; position: fixed; margin: 10px 0; top: 4px; right: 13px !important; z-index: 99999; display: none }

.container p { color: #fff; font: normal 16px/18px Arial,Helvetica,sans-serif }

.container b { border-radius: 50%; -webkit-border-radius: 50%; background: #479248; width: 33px; height: 34px; position: absolute; padding: 5px 0 0 5px; left: -15px; top: 16%; bottom: 30%; border: 2px solid #fff }

.cross { background: #cc3633; display: none }

.cross b { background: #bd3927; top: 18%; cursor: pointer }

.warning { background: #f8ac59 }

.warning b { background: #ddd; top: 18% }

.rightcontainer { background: #479248 }

Submit Resume

Back Submit

Senior Software Engineer

Maine, Westbrook

07/15/2026

Contract

Active

Job Description:

Description Experience: Any career stage. We evaluate demonstrated capability, not years — exceptional recent graduates and seasoned engineers seeking focused project work are equally welcome. We're looking for a Software Engineer to build a contract-verification framework for Client's AI/ML platform: a system of declarative predicates and invariants that governs how Python code is allowed to change. This is closer to compiler and program-analysis work than to data engineering — you'll turn formal specifications into tooling that verifies code automatically. Your work will help ensure the reliability of the ML systems that power Client's diagnostic products. Required: Along with your résumé, include a short paragraph about a time you turned an abstract formalism — a logic, a type system, a grammar, a constraint model — into a tool other people actually used. What it was, what made it hard, and what shipped. What you'll work on AI assistants have made writing code dramatically faster. They have not made writing correct code dramatically faster — that gap is widening, and the tooling that closes it matters more than it used to. That's the work this role exists to do. A common thread runs through everything we build: a formal specification — a schema, a contract, a grammar — is the source of truth, and the tooling we write makes other code conform to that specification automatically. When the specification is the source of truth, code that doesn't match it fails loudly rather than silently — whether that code was written by a human, generated by an AI assistant, or somewhere in between. Your primary focus: Predicate & invariant framework for data contracts — the core of the role. Design and implement declarative contract classes that attach to Python methods (design-by-contract decorators — no relation to the ML data annotations below) and trigger verification of the code inside, using AST-level analysis. Predicates enforce data contracts: they state what a method must guarantee about the data it produces or consumes, and the verifier checks the implementation against those statements. Invariants constrain evolution: they state properties of the codebase that must survive change, so that modifications — human- or AI-authored — that would break them fail at verification time, not in production. You'll shape the vocabulary of predicates and invariants together with the architect, build the verifier and its diagnostics, and make violation messages clear enough that they teach the contract they enforce. Your secondary focus: Annotation data platform evolution. Extend a shipped canonical schema (Avro) and adapter layer that normalize ML annotation data from multiple commercial labeling platforms into a shared representation. Add adapters for new platforms, evolve the schema under a versioned spec and ADR process, and keep validation utilities and Python typing overlays in sync with the schema. Key responsibilities Design and implement the predicate/invariant framework: contract classes, the AST-based verifier, and CI integration. Turn abstract contract concepts into APIs and diagnostics that working engineers adopt willingly — making the ideas graspable is part of the job, not an afterthought. Extend and evolve schemas, adapters, and validation layers for the annotation platform under its established change process. Investigate verification and validation failures and determine whether the fix belongs in the contract, the code, or the source system, documenting your reasoning. Document the framework thoroughly and transfer knowledge continuously — by the end of the engagement, the team must be able to own and extend it without you. Work closely with a senior architect on initial designs, then independently own implementation in your areas. Must-have qualifications We're flexible on background, but you should be able to demonstrate: Comfort with formal and abstract structures — logic, type systems, program analysis, algebraic thinking — demonstrated by working software you built from them. Vision and execution together; neither alone is enough. Deep production Python: decorators, descriptors, metaclasses, type hints, and the standard library. Strong analytical reasoning: comfort working from ambiguous or underspecified ideas and finding structure. Ability to communicate technical ideas clearly in writing (design docs, code reviews, documentation, async messaging). Independence in scoping and delivering work, with the judgment to escalate complex design questions. Strong pluses (nice to have, not required) A computer-science degree, or any particular number of years of experience. Prior data engineering or ML experience (the role is adjacent to ML, not part of model training). Experience with our exact stack (Avro, Databricks, Spark, dbt, etc. can be learned on the job). Experience in any of these areas is a genuine plus: Contracts and verification Design-by-contract tooling (icontract, deal, Eiffel, JML, Dafny) or other program-verification exposure. Property-based testing (Hypothesis or similar). Code-as-data work Parsing or analyzing source code (Python ast / libcst, tree-sitter, or equivalents); codemods; mypy plugins or typing internals. Code generation, templating, or compiler back-ends — especially if you've maintained a code generator in production. Rule and constraint systems DSLs, OPA/Rego, rule engines, or knowledge-representation/constraint languages (OWL, RDF, SHACL, Datalog). Translating declarative business rules into executable validation logic. Schema and validation tooling Avro, JSON Schema, OpenAPI/Swagger, LinkML, CUE, or similar; Pydantic, Marshmallow, or attrs with validators. If you're excited about the work but not sure you meet every point, we encourage you to apply — depth in one of these clusters plus strong reasoning can go a long way. A note on AI tools OAI coding assistants regularly. We expect you to be comfortable with them and to use them well — they're not a special skill, they're table stakes for tooling work in 2026. What matters is the judgment around them: knowing when the AI's output is wrong, knowing when to direct it more carefully, knowing when to write the code by hand because it's the kind of thing that needs to be right rather than fast. The framework you'll build is itself part of how we keep AI-speed development safe. What success looks like In your first 30 days, you'll internalize the contract model and the platform's spec/ADR process, and ship a first working predicate end-to-end — decorator, verification, diagnostics. By 90 days, the framework core will be enforcing real data contracts in CI on at least one system, and teammates will be writing predicates without your help. By end of term, the framework will be documented, adopted, and owned by the team; invariants will be guarding codebase evolution; and the extension conversation will be about what to build next, not whether it worked. We care more about the quality and durability of what you build than lines of code or ticket counts.

Email ID *

This field is required Please enter valid emailId.

Cell phone *

This field is required Please enter valid cell phone.

First Name *

This field is required Please enter valid first name.

Last Name *

This field is required Please enter valid last name.

Upload Resume

Resume Title *

This field is required

Comments for Recruiter

This field is required

.

.

.

$(document).ready(function () { var JobId = '5837621'; if (JobId == '') { $(".jobdetail").hide(); $("#headertext").html('Upload Resume'); } else { $("#headertext").html('Submit Resume'); } });

function fillEmailId() { if ($.trim($("#txtEmailIdtoSearch").val()) == "") { showvalidation($("#txtEmailIdtoSearch")); $(".loaderSection").hide(); return false; } else { var Reg = new RegExp("^[_A-Za-z0-9-]+(\.[_A-Za-z0-9-]+)@[A-Za-z0-9]+(\.[A-Za-z0-9]+)(\.[A-Za-z]{2,})$"); var matches = $.trim($("#txtEmailIdtoSearch").val()).match(Reg); if (!matches) { hidevalidation($("#txtEmailIdtoSearch")); showRegExpvalidation($("#txtEmailIdtoSearch")); return false; } else { hideRegExpvalidation($("#txtEmailIdtoSearch")); hidevalidation($("#txtEmailIdtoSearch")); } } } function fillFirstName() { if ($.trim($("#txtFirstName").val()) == "") { showvalidation($("#txtFirstName")); $(".loaderSection").hide(); return false; } else { var Reg = new RegExp("^[a-zA-Z][0-9a-zA-Z .,'-]$"); if (!Reg.test($.trim($("#txtFirstName").val()))) { hidevalidation($("#txtFirstName")); showRegExpvalidation($("#txtFirstName")); return false; } else { hideRegExpvalidation($("#txtFirstName")); hidevalidation($("#txtFirstName")); } } } function fillLastName() { if ($.trim($("#txtLastName").val()) == "") { showvalidation($("#txtLastName")); $(".loaderSection").hide(); return false; } else { var Reg = new RegExp("^[a-zA-Z][0-9a-zA-Z .,'-]$"); if (!Reg.test($.trim($("#txtLastName").val()))) { hidevalidation($("#txtLastName")); showRegExpvalidation($("#txtLastName")); return false; } else { hideRegExpvalidation($("#txtLastName")); hidevalidation($("#txtLastName")); } } } function fillCandidateComments() { if ($.trim($("#txtCandidateComments").val()) == "") { showvalidation($("#txtCandidateComments")); $(".loaderSection").hide(); return false; } else { hidevalidation($("#txtCandidateComments")); } } function fillPhone() { if ($.trim($("#txtPhone").val()) == "") { showvalidation($("#txtPhone")); $(".loaderSection").hide(); return false; } else { var Reg = /(?\d{3})?-? *\d{3}-? *-?\d{4}/g; var matches = $.trim($("#txtPhone").val()).match(Reg); if (!matches) { hidevalidation($("#txtPhone")); showRegExpvalidation($("#txtPhone")); return false; } else { hideRegExpvalidation($("#txtPhone")); hidevalidation($("#txtPhone")); } } } function fillResumeTitle() { if ($.trim($("#txtDefDocTitle").val()) == "") { showvalidation($("#txtDefDocTitle")); $(".loaderSection").hide(); return false; } else { hidevalidation($("#txtDefDocTitle")); } } function showRegExpvalidation(ctrl) { $(ctrl).parent().addClass("has-error"); $(ctrl).parent().find("span.freg").show(); $(".loaderSection").hide(); } function hideRegExpvalidation(ctrl) { $(ctrl).parent().removeClass("has-error"); $(ctrl).parent().find("span.freg").hide(); $(".loaderSection").hide(); } function showvalidation(ctrl) { $(ctrl).parent().addClass("has-error"); $(ctrl).parent().find("span.freq").show(); $(".loaderSection").hide(); } function hidevalidation(ctrl) { $(ctrl).parent().removeClass("has-error"); $(ctrl).parent().find("span.freq").hide(); $(".loaderSection").hide(); } function ValidateData() { var isProceedToSave = true; $(".loaderSection").show();

if ($.trim($("#txtEmailIdtoSearch").val()) == "") { showvalidation($("#txtEmailIdtoSearch")); isProceedToSave = false; } if ($.trim($("#txtFirstName").val()) == "") { showvalidation($("#txtFirstName")); isProceedToSave = false; } else { var Reg = new RegExp("^[a-zA-Z][0-9a-zA-Z .,'-]$"); if (!Reg.test($.trim($("#txtFirstName").val()))) { hidevalidation($("#txtFirstName")); showRegExpvalidation($("#txtFirstName")); isProceedToSave = false; } } if ($.trim($("#txtLastName").val()) == "") { showvalidation($("#txtLastName")); isProceedToSave = false; } else { var Reg = new RegExp("^[a-zA-Z][0-9a-zA-Z .,'-]$"); if (!Reg.test($.trim($("#txtLastName").val()))) { hidevalidation($("#txtLastName")); showRegExpvalidation($("#txtLastName")); isProceedToSave = false; } } if ($.trim($("#txtPhone").val()) == "") { showvalidation($("#txtPhone")); isProceedToSave = false; } if (isProceedToSave) { var fileUpload = $("#FileUpload2").get(0); var files = fileUpload.files; if (files.length == 0) { ShowErrorNotification("Please attach a resume."); $(".loaderSection").hide(); isProceedToSave = false; } return isProceedToSave; } else { ShowErrorNotification("Whoops! Looks like you've missed entering some data. Please enter data in the highlighted fields."); $(".loaderSection").hide(); window.scrollTo(10, 10); return isProceedToSave; } }

function SubmitResume() { if (ValidateData()) { var FileName = ''; var JobId = '0';

if ('5837621' != '') JobId = '5837621';

var txtemailid = $("#txtEmailIdtoSearch").val(); $.ajax({ url: '/Support/GetCandidateDetailByEmailId', type: "GET", dataType: "JSON", data: { CandidateEmail: txtemailid, JobId: JobId }, success: function (data) { if (data == "exists") { $(".loaderSection").hide(); ShowErrorNotification("You are already submitted to this position."); return false; } else //If email does not exist { if (data.Resume_Id != undefined && data.Resume_Id != null && parseInt(data.Resume_Id) > 0) { SubmitDocument(data.Resume_Id, 0, 1); } else { UploadDocUsingAPI(); } } } }); } else $(".loaderSection").hide(); } function UploadDocUsingAPI() { var fileUpload = $("#FileUpload2").get(0); var files = fileUpload.files; if (files.length == 0) { ShowErrorNotification("Please attach a resume."); $(".loaderSection").hide(); return false; }

if (files.length > 0) { if (window.FormData !== undefined) { var data = new FormData(); for (var i = 0; i 0) { SubmitDocument(data.candidateId, 1, 0); // $(".loaderSection").hide(); } else { ShowErrorNotification(data.EventStatusStatus); $(".loaderSection").hide(); } //callback(data.UploadedFileName); }, error: function (err) { ShowErrorNotification(err.statusText); $(".loaderSection").hide(); window.scrollTo(10, 10); return false; } }); } else { alert("This browser doesn't support HTML5 file uploads!"); } } } async function SubmitDocument(Resume_Id, Datafrom, IsExist) { var FileName = ''; var JobId = '0'; var RecId = '0'; var Source = '4414'; var EntityGroup = '2321'; var SubSource = '13304';

if ('5837621' != '') JobId = '5837621';

if ('0' != '') RecId = '0';

if (Datafrom == 0) { // Wait for the document upload to complete FileName = await UploadCandidateDoc(); if (!FileName) { ShowErrorNotification("Whoops! Looks like some issues in uploading resume. Please try again."); return; // Exit if upload failed } } var ResumeDetails = $.param({ Email_Id: $("#txtEmailIdtoSearch").val(), FirstName: $("#txtFirstName").val(), LastName: $("#txtLastName").val(), Phone: $("#txtPhone").val(), CandidateComments: $("#txtCandidateComments").val(), JobId: JobId, UploadedFileName: FileName, ResumeId: Resume_Id, Datafrom: Datafrom, RecId: RecId, IsExist: IsExist, Source: Source, EntityGroup: EntityGroup, ResumeFromJobPortal: 1, UploadedDocName: $.trim($("#txtDefDocTitle").val()), SubSource: SubSource }); $.ajax({ url: '/Support/UploadResumeForJobPortal', type: "POST", dataType: "JSON", data: ResumeDetails, success: function (data) { if (data.headerCode == "20001") { ShowSaveNotification(data.EventStatusStatus); $(".loaderSection").hide(); window.scrollTo(10, 10); } else if (data.headerCode == "10001") { ShowErrorNotification(data.data.errorDetail); $(".loaderSection").hide(); window.scrollTo(10, 10); } else if (data.headerCode == "20003") { ShowErrorNotification(data.EventStatusStatus); $(".loaderSection").hide(); window.scrollTo(10, 10); } else { ShowErrorNotification(data.PortalJob_Status); $(".loaderSection").hide(); window.scrollTo(10, 10); } } }); }

// Function to convert a file to base64 async function fileToBase64(file) { var base64String; const createPromise = new Promise((resolve, reject) => { const reader = new FileReader(); reader.readAsDataURL(file); reader.onload = () => resolve(reader.result); reader.onerror = (error) => reject(error); });

await createPromise.then((promisedata) => { base64String = promisedata; });

return base64String; }

function getFileExtension(filename) { if (!filename || !filename.includes('.')) { return ''; } return filename.split('.').pop(); }

function getFileName(filename) { if (!filename || !filename.includes('.')) { return filename; } return filename.split('.').slice(0, -1).join('.'); }

//Upload Document - Returns Promise async function UploadCandidateDoc() { var fileUpload = $("#FileUpload2").get(0); var files = fileUpload.files;

if (files.length == 0) { ShowErrorNotification("Please attach a resume."); $(".loaderSection").hide(); return null; }

if (files.length > 0) { if (window.FormData !== undefined) { var strFileNameWithoutExt = getFileName(files[0].name); var strFileExt = getFileExtension(files[0].name); var strNewFileName = strFileNameWithoutExt.replace("//", "").replace("+", "").replace("*", "").replace(" ", "").replace(":", "").replace(".", "") + "_" + "7" + "24" + "2026" + "17" + "18" + "32" + "." + strFileExt;

var fileBase64String; if (files[0]) { fileBase64String = await fileToBase64(files[0]); } var data = JSON.stringify({ docType: 9001, fileName: strNewFileName, encodedData: fileBase64String.split(',')[1], pjEmployeeId: null, placementTrackerId: null, employeeDetailsId: null });

var encodedData = btoa(data);

// Return a Promise instead of using callback return new Promise((resolve, reject) => { $.ajax({ type: "POST", url: 'https://stafflineapi.compunnel.com/' + "document/upload", contentType: "application/json; charset=utf-8", data: JSON.stringify({ data: encodedData }), timeout: 30000, json: true, headers: { "Authorization": 'qwerty~!@', }, success: function (result) { resolve(strNewFileName); }, error: function (err) { ShowErrorNotification(err.statusText); $(".loaderSection").hide(); window.scrollTo(10, 10); reject(null); } }); }); } else { alert("This browser doesn't support HTML5 file uploads!"); return null; } } return null; } $(function () { if ($('.formSection').offset() != undefined) { var stickyHeaderTop = $('.formSection').offset().top; $(window).scroll(function () { if ($(window).scrollTop() > stickyHeaderTop - 100) { $('.fixedBTN').addClass('btnFixed').css({ position: 'fixed', top: '65px', margin: '0px' });

} else { $('.fixedBTN').removeClass('btnFixed').css({ position: 'static', top: '0px', 'margin-top': '20px' });

} }); }; });

function ShowSaveNotification(strText) { $('.rightcontainer').find('p').text(strText); $('.rightcontainer').css({ 'opacity': '0', top: "50px" }).show(); $('.rightcontainer').stop().animate({ 'opacity': '1', top: "-=50px" }, 1000, function () { $(this).delay(3000).fadeOut(900); }); }

function ShowErrorNotification(strText) { $('.cross').find('p').html(strText); $('.cross').css({ 'opacity': '0', top: "50px" }).show(); $('.cross').stop().animate({ 'opacity': '1', top: "-=50px" }, 1000, function () { $(this).delay(3000).fadeOut(900); }); //$('.cross').show(); }

function ShowWarningNotification(strText) { $('.warning').find('p').html(strText); $('.warning').css({ 'opacity': '0', top: "50px" }).show(); $('.warning').stop().animate({ 'opacity': '1', top: "-=50px" }, 000, function () { $(this).delay(4000).fadeOut(900); }); }

One address, no account. We’ll tell you when matching roles go live.

More at Compunnel

Related open roles

View all roles