Job intelligence
Software Engineer (Engineer III to Principal) - Formal Methods
CertiK
Before relying on the listing: Confirm Application closing time with the employer or source. See verification questions
Executive opportunity brief
The decision in one screen
A compact evidence-first read of compensation, flexibility, mobility and what still needs verification. No universal quality score is used.
Fast read
Opportunity DNA
The available details do not point to a single standout advantage yet. The clearest issue to weigh is location rules could change the fit.
Current comparable position is around the 30th percentile.
Geographic eligibility is restricted to a country or region.
Some access and qualification signals are clear, but the overall entry path is neither unusually open nor unusually restrictive.
Sponsorship and relocation support are not clear from the current listing.
Part of the application route can be assessed, but the full external process may contain additional steps.
At least one recent enabled source can still renew this vacancy.
This fingerprint summarizes what is clear, constrained or still unanswered in the current listing. It is a reading aid, not an overall job score.
Decision evidence check
4 of 5 core facts stated
This checks whether the listing states the facts that commonly change an employment decision. It measures disclosure completeness, not whether the opportunity is good or bad.
Facts already stated
- Compensation
- Work arrangement
- Location eligibility
- Employment type
What to verify next
- Application closing time: Is there a firm application deadline, a rolling review window or no stated closing date?
Unknown information is never converted into a negative score. The questions above exist to prevent missing evidence from being mistaken for a favorable term.
Decision levers
What could make or break the fit?
Reasons to look closer
Nothing stands out strongly enough yet to call a clear advantage. The role may still be attractive for reasons the listing does not spell out.
Trade-offs to weigh
- Location rules could change the fit: Geographic eligibility is restricted to a country or region.
Questions worth asking before you invest more time
- Confirm whether a degree is actually required, preferred, or replaceable with equivalent experience.
- Ask whether visa sponsorship is available before investing significant time in the application.
These questions come from details the listing leaves open. An unanswered point is not treated as a disadvantage.
Opportunity neighborhood
Keep your options open
These live roles sit close enough to this opportunity to make useful comparison points. Look across several employers before deciding what pay, flexibility or access trade-offs you are willing to accept.
Senior Software Engineer, Product
RevenueCat · EMEA, LATAM, Canada, USA
Why it is nearby: Same seniority band · Same country · Similar work arrangement
About 33% higher advertised midpoint
Senior Software Engineer - Infrastructure Security
Quora · Canada, USA
Why it is nearby: Same seniority band · Same country · Similar work arrangement
About 22% higher advertised midpoint
Staff Engineer, Full Stack (Trust, Safety & Risk)
Phantom · EMEA, LATAM, Canada, USA
Why it is nearby: Same seniority band · Same country · Similar work arrangement
About 30% higher advertised midpoint
Sr. DevOps Engineer
Cyware · USA
Why it is nearby: Same seniority band · Same country · Similar work arrangement
This neighborhood is drawn from current inventory in the same broad occupation. Similarity is based on explicit listing facts; missing details do not count against a job.
Role market context
How much current choice is visible around this kind of work?
This compares the vacancy with current High Paid Job inventory in the broad Software engineering roles family. It describes visible choice and disclosure, not future demand or career quality.
200 most recent current roles sampled for the disclosure measures below.
Distinct employers in the bounded current sample, not an estimate of all employers hiring in the market.
Current sampled roles stating at least four of the five Core Decision Facts.
Requires a numeric amount, explicit ISO currency and supported pay period.
Listings with explicit enough remote, hybrid or on-site evidence to classify.
Missing deadline evidence remains unknown and is not interpreted as an open-ended application window.
Currencies with explicit pay evidence in the sample: USD (23) · EUR (8) · GBP (4) · BRL (1). Raw amounts across different currencies are not compared.
This describes current visible High Paid Job inventory in the same broad occupation family. Percentages use a bounded recent sample and are not a forecast, a complete labor-market census or an employer-quality measure.
Constraint opportunity lab
What changes the size of the current opportunity pool?
Each line applies one stricter evidence-based constraint to the same bounded current role-family sample. It helps you see the trade-off in visible choice without deciding which trade-off is right for you.
Counts only affirmative or possible sponsorship evidence, or relocation explicitly offered. Unknown is not treated as no.
A much stricter subset: only listings with explicit worldwide-remote evidence remain.
Requires amount, explicit ISO currency and a supported pay period. Missing pay evidence remains unknown.
Shows the subset with enough stated evidence for a more informed first comparison.
Uses only roles where a country is known. Roles without country evidence are excluded from this denominator.
Counts roles explicitly classified as worldwide remote, region-restricted remote or remote with restrictions still unclear.
Only same-currency opportunities with usable annualized pay enter this comparison. Other currencies are not converted or treated as lower.
Includes roles whose seniority is genuinely unspecified rather than assuming they belong to another level.
These are counterfactual filters over a bounded sample of current HPJ inventory in the same broad occupation family. They show how visible choice changes when one evidence-based constraint is applied; they do not tell you which constraint you should choose or predict hiring outcomes. The calculation uses the 200 most recent current roles from 3014 visible roles in this broad family.
Salary transparency context
Is pay disclosure typical for this kind of role?
This listing states usable structured compensation. About 19% of the bounded current role sample does the same.
Compensation counts only when amount, ISO currency and supported pay period are all known.
Pay disclosure is uncommon in the current role sample.
This employer’s current visible listings disclose pay materially more often than the current same-role sample.
This compares salary-disclosure behavior in current visible listings. It does not compare raw salary amounts across currencies, infer undisclosed pay as zero, or rate employer quality.
Private offer & negotiation lab
Turn an offer into evidence, not guesswork
Enter an annual base offer and, if you want, your own target. HPJ compares only within one explicit currency and never chooses a target for you.
Negotiation evidence available: advertised pay range, current same-currency market context, strong decision evidence.
Enter an annual base offer to compare it with explicit same-currency evidence. HPJ will not suggest a target for you.
Review the full package · 10 terms
Mark what is confirmed, what needs clarification and what you want to prioritize. These choices and notes stay in this browser.
Usable advertised compensation is available.
Variable compensation is mentioned; verify amount, formula, target and eligibility.
Equity or long-term incentive language is mentioned; verify grant type, vesting and valuation basis.
Retirement or pension benefits are mentioned; verify employer contribution and vesting.
Health-benefit language is mentioned; verify coverage, dependants and employee cost.
Paid-leave language is mentioned; verify the exact entitlement and carry-over rules.
A work-arrangement signal is available; verify schedule details before relying on it.
Relocation support not established
Sponsorship not established
A review cycle is mentioned; verify timing and whether compensation can change at that review.
Questions worth taking into the offer conversation
- Does the package include equity or another long-term incentive, and what are the vesting terms?
- If relocation is relevant, what expenses, timing and repayment conditions are covered?
- What exact sponsorship or work-authorization conditions apply to this role?
- When is the first performance and compensation review after joining?
- Is there a firm application deadline, a rolling review window or no stated closing date?
Occupation intelligence
What broader career references connect to this role?
HPJ uses broad comparison families for current-market analysis. External taxonomy results are reference candidates for that broad family, not a declaration that this vacancy has been authoritatively classified into a specific occupation.
European occupation references
- software developer
- embedded systems software developer
- industrial mobile devices software developer
- ICT application developer
- IoT developer
This service uses the ESCO classification of the European Commission.
U.S. occupation references
- Software Developers 15-1252.00
- Computer Programmers 15-1251.00
- Software Quality Assurance Analysts and Testers 15-1253.00
- Computer Systems Analysts 15-1211.00
- Computer Systems Engineers/Architects 15-1299.08
This site incorporates information from O*NET Web Services by the U.S. Department of Labor, Employment and Training Administration (USDOL/ETA). O*NET® is a trademark of USDOL/ETA.
Career reference research
Skills worth investigating
Official occupational context, paired with exact phrases visible in this vacancy. It is not a skills test or an applicant-fit score.
ESCO · European occupation
software developer
Usually essential in this ESCO occupation
- develop software prototype
- technical drawings
- create flowchart diagram
- utilise computer-aided software engineering tools
- define technical requirements
- analyse software specifications
- use software design patterns
Context-dependent ESCO skills
- cyber attack counter-measures
- Common Lisp
- Jenkins (tools for software configuration management)
- Assembly (computer programming)
- collect customer feedback on applications
O*NET · U.S. occupation
Software Developers
O*NET occupation skills
- ProgrammingPhrase in listing
- Critical Thinking
- Judgment and Decision Making
- Active Learning
- Reading Comprehension
- Systems Analysis
- Active Listening
- Complex Problem Solving
Build my private skill preparation brief Your evidence · Practice · Interview questions
Plan how you might demonstrate or investigate occupational skills. These are broad-family reference examples, not confirmed vacancy requirements. Nothing you enter is sent to High Paid Job.
Private to this browser. Up to 20 reference skills; not a qualification assessment or hiring prediction.
Useful next question: Which of these occupational reference skills does the hiring manager actually expect for this specific role, and what evidence would demonstrate them?
These skills belong to one reference occupation selected for HPJ’s broad career family, not a verified classification of this vacancy. Text overlap only means a phrase appears in the available listing text; it does not establish an employer requirement, your proficiency, or a qualification gap. A missing mention is unknown, not a deficit.
Adjacent current roles to investigate
Senior Product Manager, AI Adoption & Growth
Demandbase, Inc. · USA
same stated country · same seniority band · same employment typeMachine Learning Engineer, New Grad - Quora
Quora · Canada, USA
same stated country · same employment type · similar work-arrangement evidenceDirector of Product Design
Help Scout · USA
same stated country · same employment type · similar work-arrangement evidenceAdjacent-family roles are exploration prompts from current HPJ inventory. They are not inferred qualification matches and they do not imply a promotion path.
Career move map
What sits one step away?
This listing is currently read as Senior / lead. Nearby roles one visible seniority step away can help you judge whether to widen the search, stretch upward or compare the responsibilities more carefully.
Broader-entry direction
Developer Relations Engineer
Fly · Remote — Worldwide
USD 134,000–190,000 / year Similar work arrangement · Same employment type · Recently posted Advertised midpoint is about 6% lowerSoftware Engineer
Praxis Precision Medicines · Remote — Worldwide
USD 105,000–125,000 / year Similar work arrangement · Same employment type · Recently posted Advertised midpoint is about 33% lowerStretch direction
Senior Staff Software Engineer, Data
Juniper Square · Canada, USA
USD 235,000–285,000 / year Same country · Similar work arrangement · Same employment type Advertised midpoint is about 51% higherSenior Developer Marketing Manager, Social & Content
1Password · Canada, USA
USD 133,000–186,000 / year Same country · Similar work arrangement · Same employment type Advertised midpoint is about 8% lowerThese are live roles one visible seniority step away in the same broad occupation family. They can reveal nearby options, but they are not a guaranteed promotion path and do not account for your personal experience.
Skill bridge
What does this role connect to?
The available listing text does not contain enough recognized skill language for a useful skill bridge yet.
Application edge
- The listing states about 2 years of required experience. Check that the dates and scope in your application make that experience easy to verify.
If the named skills are genuinely transferable in your own experience, the occupation map also points to adjacent current families worth researching: Data & AI roles, Cybersecurity roles, and Product roles. This is exploration context, not a qualification match.
Skill signals come from explicit text mentions. A mention is not automatically a requirement, and absence from the current top-skill list does not make a skill rare or unimportant. The current career comparison draws on 120 sampled listings; 114 contain a recognized skill signal.
Application Decision Lab
Turn the listing into a preparation plan
Separate what the listing actually states from what you still need to prepare or verify. Your selections and short notes stay in this browser and are never submitted to High Paid Job.
At least about 2 years of experience required
The available wording contains an explicit minimum/required years-of-experience signal. Preferred years are tracked separately and never promoted into the required minimum.
Questions worth resolving before you rely on the opportunity
- Application closing time: Is there a firm application deadline, a rolling review window or no stated closing date?
- Work authorization / sponsorship: If sponsorship or work authorization matters to you, what exact immigration or employer-sponsorship conditions apply to this role?
- Application process: What interview, assessment, portfolio, reference or screening stages are part of the hiring process?
Decision analysis
What the listing really tells you
A closer look at Software Engineer (Engineer III to Principal) - Formal Methods at CertiK points most strongly to the advertised pay can be placed in context, the location rules are clear enough to judge, and the listing gives useful clues about who can realistically enter. Those signals shape the practical upside and the questions still worth asking.
The advertised pay can be placed in context
The annualized midpoint sits near the 30th percentile within 121 comparable USD salary observations. Treat that as current advertised-pay context rather than a forecast of take-home or total compensation.
The location rules are clear enough to judge
Location flexibility can be assessed here: Remote with some uncertainty or restrictions, with a Remote Freedom reading of 62/100. One practical limit to notice is geographic eligibility is restricted to a country or region..
The listing gives useful clues about who can realistically enter
At least about 2 years of experience required · 1 additional stated barrier. Unstated education or experience requirements stay open rather than being assumed.
The visible application effort can be estimated
Provider-mediated application path. The external application may contain additional steps that are not visible from the listing itself.
The listing can be traced to a current source
The opportunity currently has 1 renewable source path across 1 source classes. Multiple independent paths can strengthen continuity, but they are not a substitute for checking the application destination.
How this analysis is assembled
Built from the pay, location, qualification, mobility, application and source details available for this vacancy. Anything the listing leaves unresolved stays unresolved.
Analysis evidence coverage
How much analysis can the current evidence support?
Uses the explainable High Pay Score within the job’s current occupation/seniority/currency comparison sample.
Measures observable location flexibility and explicit restrictions; it does not determine whether remote work is personally desirable.
The salary is source-provided and normalizable, but the advertised range is broad enough to reduce comparison precision.
The listing was posted about 4 days ago.
At least one enabled source recently observed the vacancy. The source chain is traceable, but this is not independent employer verification.
There is no universal opportunity score because pay, flexibility and access matter differently to different people. Compare Jobs lets you weight the evidence around your own priorities.
Decision checklist
What is supported, uncertain or worth checking?
This checklist separates supported strengths, visible cautions and missing evidence. It is not an overall recommendation or guarantee that the job is suitable for you.
Supported strengths
No standout strength is supported strongly enough to list here. That is not a negative rating.
Visible cautions
- Geographic eligibility is restricted to a country or region.
- Some compensation may be variable or performance-based. Confirm the guaranteed base amount before comparing headline pay.
- The description appears to mention an advanced degree requirement or preference.
- At least about 2 years of experience required
Still unknown
- Visa sponsorship is not established by the available listing data.
Pay vs. barriers
Pay and barrier context available
The current pay position can be viewed alongside the stated barriers, but the available detail does not support a stronger conclusion.
Comparable disclosed-pay evidence places this job at about 30 / 100 within its current occupation/seniority sample.
1 explicit required barrier is visible in the available wording.
The listing states at least about 2 years of required experience.
1 explicit Remote Freedom restriction signal is present and is shown separately from qualification requirements.
- Education requirement is not established.
This section weighs pay context against clearly stated barriers without collapsing unlike requirements into one universal score. Degree, experience, licensing, clearance and location limits remain separate, and missing qualification details stay unknown.
Beyond the headline
Not enough evidence for a hidden-value finding
Potential hidden value appears only when several distinct non-pay advantages are actually supported. Missing requirements or benefits are never counted as positives.
Still check: At least about 2 years of experience required · The current application path is provider-mediated rather than directly classified as an employer-authorized or official route.
Hidden Value is an experimental evidence summary, not an investment-style score or guarantee of employability. It only uses explicit current listing evidence and does not infer that an unmentioned qualification is unnecessary.
Compensation intelligence
How competitive is this pay?
Below many comparable disclosed salaries
The annualized midpoint is below the current comparable median but remains within the sample’s lower-to-middle range.
The highlighted band is the middle 50% of the current comparable sample after the outlier guard. The dark marker is this job’s annualized salary midpoint.
Why this analysis?
- This score reflects the current advertised-pay distribution for comparable active jobs in the same currency. It measures pay position, not overall job quality.
- Salary confidence: Medium. The salary is source-provided and normalizable, but the advertised range is broad enough to reduce comparison precision.
- Range quality: Broad but usable range.
Employer compensation communication
Pay transparency at CertiK
Good current pay transparency
This score uses the employer’s current visible listings and combines how often pay is disclosed with how useful those ranges are. Bonus, equity and benefit mentions are shown separately and do not raise the score.
This pattern comes from the employer’s current visible vacancies. It describes hiring and pay transparency in those listings, not employee satisfaction or a permanent judgement of the employer.
Current employer intelligence
CertiK — current opportunity snapshot
Employer Evidence Profile
How often this employer’s current visible sampled vacancies state decision-critical information. These percentages describe evidence coverage, not employer quality.
Current sampled listings with advertised compensation evidence.
Current sampled listings whose work arrangement is clearer than unknown.
Current sampled listings with a supported country signal.
Current sampled listings with an explicit closing time.
Current sampled listings with a usable posting date.
Current sampled listings that explicitly indicate confirmed, possible or unavailable sponsorship evidence.
Current sampled listings with an explicit relocation signal.
Low coverage means the current visible listings state the information less often. It does not prove that the employer lacks the policy, benefit or support.
Common current occupation families: Sales (3) · Cybersecurity (2) · Finance Accounting (2)
Visible seniority mix: Early-career (4) · Senior / lead (7) · Leadership (4)
Current employment-type mix: Full time (15) · Contract (5) · Internship (3)
Most visible hiring countries in this sample: United States (16) · Singapore (1) · Vietnam (1) · Hong Kong (1)
Other current roles from this employer
Blockchain Security Engineer - (Solidity / Rust / Golang)
USA
Early-career · Region-restricted remoteUSD 102,000–180,000 / yearBackground Investigator
Europe, UK, USA
Seniority not clearly specified · Region-restricted remoteUSD 60,000–100,000 / yearFinancial Analyst
USA
Senior / lead · Region-restricted remoteUSD 70,000–90,000 / yearPublic Facing Security Researcher
USA
Seniority not clearly specified · Region-restricted remoteThese are other current vacancies visible from the same employer, not endorsements or evidence of future hiring plans.
Current disclosed salary medians by currency
- USD 141,000 median · 15 disclosed salaries
Questions worth asking this employer
- If work authorization matters to you, what sponsorship policy applies to this specific role and location?
- If a move is required, is relocation assistance available for this position?
- What is the expected application and interview timeline if the listing does not state a closing date?
These questions are prompted by missing or thin evidence in the employer’s current visible vacancies. Missing evidence is not treated as a negative judgement.
This employer snapshot uses the employer’s current visible listings. Remote and sponsorship rates use only vacancies with explicit evidence, while missing information stays unknown. Salary medians are shown separately by currency and need at least five disclosed salaries. Zero confirmed sponsorship means none was explicitly found in this sample, not that sponsorship is unavailable.
This snapshot describes the employer’s current visible vacancies—things such as pay disclosure and work arrangement. It is not an employee-satisfaction or hiring-quality rating, and different currencies stay separate.
Work-location intelligence
Remote Freedom
Remote with some uncertainty or restrictions
Why this score?
- The role is remote but the source identifies a country or regional restriction.
Location restrictions detected
- Geographic eligibility is restricted to a country or region.
Remote Freedom measures observable location flexibility only. Unknown work-location information remains unscored. Timezone wording is penalized only when it appears restrictive; general collaboration across time zones is not treated as a restriction. A score does not guarantee legal work eligibility, payroll availability or visa sponsorship.
International applicant intelligence
Visa & relocation signals
Sponsorship status is shown only when the listing provides clear enough wording. Employer history or headquarters location is not used to guess an answer.
The available listing details do not contain a clear enough sponsorship statement.
The available listing details do not contain a clear enough relocation statement.
Tradeoff check
What’s the catch?
These are visible conditions worth checking before treating the headline compensation as the whole story:
- Some compensation may be variable or performance-based. Confirm the guaranteed base amount before comparing headline pay.
- The description appears to mention an advanced degree requirement or preference.
- This is remote work with a geographic restriction, not a worldwide-remote vacancy.
Current alternatives
Better-paying alternatives
These current roles show a materially higher annualized salary midpoint in the same broad occupation and currency. Similar seniority, country, work arrangement, employment type and recency are preferred where possible; higher pay alone does not make an alternative a better fit.
Senior Manager, Software Engineering - Infrastructure
ClickUp · USA
USD 250,000–300,000 / year Region-restricted remoteWhy comparable: Same seniority band · Same country · Similar work-location arrangement
Principal Frontend Engineer
ClickUp · USA
USD 250,000–300,000 / year Region-restricted remoteWhy comparable: Same seniority band · Same country · Similar work-location arrangement
Staff Backend Engineer
Socure · USA
USD 225,000–265,000 / year Region-restricted remoteWhy comparable: Same seniority band · Same country · Similar work-location arrangement
Alternatives are drawn from the current inventory rather than presented as application recommendations. A pay difference needs to be meaningful—about 3% or more at the midpoint—and different currencies are not compared.
Application-path intelligence
What can we see about the application process?
Provider-mediated application path
The current application path comes through a publisher or aggregator. The destination may still lead to an employer-authorized hiring system, but that is not clear enough to assume.
Current destination: jobicy.com · HTTPS
No additional required application step is clear in the available listing text. This does not mean the external application is one-click or friction-free.
Application effort is estimated from visible listing and source details. Optional steps are kept separate from mandatory ones, and the external form may contain additional requirements that are not visible here.
Application safety context
Application safety check
Basic application-safety context available
The current application destination has a basic transport-safety signal such as HTTPS. This does not verify the employer, vacancy, recruiter or application process.
Evidence checked: Source provenance · Application destination · Listing wording
Observable transport-safety signals
- The available application destination uses HTTPS.
Before you share money or sensitive information
- Confirm the vacancy on the employer’s official careers site when practical, especially if a recruiter contacts you outside the listed application path.
- Check that recruiter email domains and application destinations are consistent with the employer or an identifiable recruiting provider.
- Do not pay application, processing, training or equipment fees merely to be considered for a job.
- Do not send cryptocurrency, gift cards, online-banking credentials or PINs as part of an application.
- Treat unusually fast offers or interviews conducted only through informal messaging channels as reasons to verify the employer independently.
This is a limited safety screen, not employer verification and not a fraud determination. Never send money, cryptocurrency, passwords or sensitive banking credentials merely because a listing appears on a job platform.
Original listing details
The section below comes from the listing source. The decision sections above use the job’s structured pay, location, qualification, mobility and application details to give you additional context.
Why us?
Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is where CertiK comes in. We are the leading blockchain security company. Our goal is to secure the cyber world by applying cutting edge techniques from academia to secure blockchain code. Come and join this ambitious mission as a research software engineer to work on automated analyses for provably secure and correct blockchain applications!
What you will do
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. We have software engineer positions available at all levels of seniority. Title and responsibilities will be commensurate with experience and background.
As part of our multinational team of programming language experts, you will participate in the development of tools that rest upon techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will have the opportunity to work on all stages of tool development from idea generation to implementation and iterative improvements. Our team is highly supportive and collaborative with great opportunities to learn and grow.
About you
You have a background in programming language theory and automated reasoning and love to work on the forefront of applying results from theoretical computer science. You love to tackle computationally hard problems and have a proven track record of achieving results, where results are people using your tool to do their jobs. You are collaborative: you share ideas, love to brainstorm with peers, and give and receive feedback. You are comfortable with the unknown and understand that #startuplife means that you will be wearing multiple hats.
Responsibilities
- Extend 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 extend translators from different input languages into intermediate representations, optimizing the generated models for automated analysis.
- Identify new classes of security properties of smart contracts 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 all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support.
Required Qualifications
- Master's Degree in Computer Science or a related field or 5 years of equivalent experience.
- Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source 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), abstract interpretation, or closely related disciplines.
- Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.
Preferred Qualifications
- PhD in the broader field of automated reasoning.
- Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc.
- Experience in functional programming (OCaml or Haskell).
- Strong and creative problem-solving skills; always willing to learn and embrace new technologies and to collaborate.
- Prior experience in a professional software development environment.
Compensation
Additional Information
About the Company
Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class technology to secure and monitor blockchain protocols and smart contracts. CertiK’s mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness.
Compensation
Target annual base salary for this role performed in the US is $115,000 - $230,000.
The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates.
#LI-Remote
#blockchain
#startups
#hiring
CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.
In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.
CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.
CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements.
https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
All CertiK employees are expected to actively support diversity on their teams, and in the Company.
Listing provenance
Where did this job come from?
See where this vacancy came from and whether more than one current source can still support it. Source names help with traceability and attribution; they are not endorsements or guarantees.
At least one enabled source recently observed the vacancy. The source chain is traceable, but this is not independent employer verification.
- Continuity
- One recent renewable source
- Source-class independence
- One renewable source class
- Last source observation
- Observed in the current source window
This records when High Paid Job last observed the vacancy in source evidence. It confirms source presence, not that the employer edited the vacancy at that time.
- 1 enabled source recently observed this vacancy.
Source confidence is about traceability and continuity. It is separate from application safety and should not be read as an employer reputation rating.
The vacancy is supplied by an external job publisher. Source information helps show where the listing came from; it is not a guarantee about the employer or vacancy.
Listing source: Jobicy. Destination: jobicy.com. The application opens in a new tab so you can keep this report open.